TEN 2007

chicco201 ha scritto:

P4olo ha scritto:

Anche io avevo pensato di implementare il Test di Atkin, ma c'è ancora un punto che è buio completo per me e spero che voi possiate portare un po di luce mella mente di questo povero ragazzo.

1)b e c le dobbiamo modellare noi dalla a) e quindi di conseguenza abbiamo anche D oppure hanno dei valori precisi?

Ciao Paolo...anche io sto provando ad implementare il test di Atkin e mi trovo con alcune difficoltà come le tue..Ad esempio anche io su internet non riesco a trovar nulla e mi sto aiutando con appunti dello scorso anno e quelli che ho preso io durante il nostro corso...
Per il fatto di b e c io credo che quello che dobbiamo modellare noi sia semplicemente D : o meglio sapendo che D deve essere congruo a 0 o 1 mod 4 da li possiamo ricavarci D usando la formula D = 4A+27B. Sei d'accordo ?

P4olo ha scritto:

2)la scelta di u e v. Anche questi li dobbiamo modellare noi?

Per la questione di u e v invece hai trovato qlc ?? Anche li io non so come comportarmi ...

Un'altra cosa...quando tu vai a controllare le condizioni di Atkin su tutti i unti della curva controlli queste :

QxP congruo a 0 in E(Zn)
Q/q x O non congruo a 0 in E(Zp)

o semplicemente controlli se

P>(√Q - 1)al quadrato
e in particolare se (√Q-1)al quadrato > √n allora n è primo ??

Fammi sapere che magari insieme riusciamo a risolvere i nostri problemi !!
Ciao

Guarda fino ad adesso ho solo implementato in Java il teorema di Pocklington per vedere se R sembra primo

Poi il problema principe dell'algoritmo di Atkin è riuscire a trovare la cardinalità del gruppo dei punti della curva ellittica su Zp, il lavoro di fattorizzazione bisogna farlo sulla cardinalità del gruppo dei punti, ma non riesco a trovare niente su queste curve "particolari" con moltiplicazione complessa che rendono facile questo calcolo.

Per la fattorizzazione ho implementato l'algoritmo p-1.

MarDok ha scritto:

Senti un po ma il libro PrimeNumbers lo hai trovato in qlc libreria delle nostre ?? (per capirci Universitalia...) O lo hai proprio comprato ??
Cià

lo puoi prendere per un giorno (almeno che un prof non ti firmi un permesso per piu' giorni) nella biblio di sogene. Io ho copiato quello che mi serviva e gliel'ho riportato!

Grazie Smoking_Man !! Cmq io anche ho capito come funziona Atkin mediante il documento che sta sulla pagina web del prof alla voce del "Test di primalità ciclotomico" www.mat.uniroma2.it/~schoof/05rene.pdf . Se qualcuno riesce ad avere più info sulle curve con moltiplicazione complessa si faccia sentire ! Io cmq penso di andare a parlare col prof in settimana prossima e semmai vi aggiorno io ... Cià

Prossimo compito e discussione dei progetti: 1 e/o 2 marzo 2007. Prenotazione per email.

Raga io ho fatto un po di appunti che riprendono quello che il prof ha scritto a lezione e quello che sta scritto sul sito www.mat.uniroma2.it/~schoof/05rene.pdf ... se qlc è interessato mandatemi un msg privato visto che qui non posso allegare file ... Cmq l'unico problema che non sono riuscito a risolvere sono ste cavolo di curve con moltiplicazione complessa...
Ciao a tutti

MarDok ha scritto:

Raga io ho fatto un po di appunti CUT
Ciao a tutti

Se li mandi a me o ad Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo. (che leggo sempre io) li inserisco nella sezione appunti uniti. In questo modo saranno disponibili anche per i prossimi anni! Gracias