algebra

15calore

4risposta

Disegna punti equidistanti su una spirale

Ho bisogno di un algoritmo per calcolare la distribuzione dei punti su un percorso a spirale. I parametri di ingresso di questo algoritmo dovrebbe essere: larghezza del loop (distanza dal ciclo più in

10calore

2risposta

Come far funzionare i catamorfismi con tipi parametrici/indicizzati?

Recentemente ho appreso un po 'di F-algebre: https://www.fpcomplete.com/user/bartosz/understanding-algebras. Volevo trasferire questa funzionalità a tipi più avanzati (indicizzati e di livello superio

10calore

5risposta

Esiste un'espressione che utilizza modulo per eseguire il wrap-around all'indietro ("overflow inverso")?

Per qualsiasi numero intero ingresso W limitata dalla gamma R = [x, y], il "troppo pieno", per mancanza di un termine migliore, di W sopra R è W % (y-x+1) + x . Ciò causa che si riavvolge se W supera

5calore

2risposta

Modulo di moltiplicazione veloce 2^16 + 1

Il codice IDEA utilizza la moltiplicazione modulo 2^16 + 1. Esiste un algoritmo per eseguire questa operazione senza operatore modulo generale (solo modulo 2^16 (troncamento))? Nel contesto di IDEA, z

19calore

2risposta

In che modo un sistema come Wolfram Alpha o Mathematica risolve le equazioni?

Sto costruendo un linguaggio di programmazione basato sul web parzialmente ispirato a Prolog e Haskell (non ridere). Ha già un bel po 'di funzionalità, è possibile controllare il prototipo allo http:/

5calore

1risposta

È possibile utilizzare le funzioni a punto fisso sui polinomi?

Stavo pensando a un modo per rappresentare i numeri algebrici in Haskell come un flusso di approssimazioni. Probabilmente potresti farlo con qualche algoritmo di ricerca delle radici. Ma non è diverte

7calore

3risposta

Sono curioso di sapere se il programma logico può fare l'algebra

Ho letto un breve articolo su Prolog e programmazione logica. Sono curioso di sapere se il programma logico può fare l'algebra. Come potresti essere in grado di chiedere quale sia la variabile di X ne

13calore

2risposta

Posso modellare un elenco di successi con errori di cortocircuito tramite la composizione di funtori applicativi?

L'utente 'singpolyma' asked on reddit se ci fosse qualche struttura generale sottostante: data FailList a e = Done | Next a (FailList a e) | Fail e una monade libera è stato suggerito, ma mi chiedev

5calore

3risposta

Python Lambda Identity Matrix

Ho appena provato ad apprendere sia le list comprehensions che le funzioni Lambda. Penso di aver capito il concetto, ma mi è stato assegnato il compito di creare un programma che, se inserito in un in

7calore

5risposta

Come calcolare in modo efficiente il prodotto interno di due dizionari

Supponiamo che rappresenti un vettore di caratteristiche usando un dizionario (perché? Perché so che le caratteristiche sono sparse, ma, ne parleremo più avanti). Come devo implementare il prodotto in