Professional Documents
Culture Documents
Πεπερασμένα Σώματα και Κρυπτογραφία = Παράρτημα PDF
Πεπερασμένα Σώματα και Κρυπτογραφία = Παράρτημα PDF
1 sage: +
2
3 factor(- 0 )
ζ - * * *
1 prime_range( 00)
2 [ , , , , , , , , , , , , , , , ,
3 , , , , , , , , ]
1 prime_pi( 0^ )
2
Σκ πρσγραηηα ηπκρεέ επέσβς θα ξεδρδστεέ Ϋθθκδες απσ τκθ απεδρκστδεσ ζκγδσησ, σππς ασρδστα εαδ
κρδσηΫθα κζκεζβρυηαταμ
1 integrate( + x + x^ , x)
2 / *x^ + / *x^ + x
3 numerical_integral( + x + x^ , 0, )[0]
ζ . 0000000000000
1θλ
λέθέ ΣΟ ΠΡΟΓΡΑΜΜΑ Sχύϋ 1ιί
1 sum=0
2 for i in prime_range( 000):
3 sum=sum+i^
ζ print sum
η
Οδ παραπΪθπ εθτκζΫς δβζυθκυθ στκ sage στδ β αζφαρδγηβτδεά ηεταβζβτά ΧstringΨ ‘t’ συηβκζέαεδ
τβ ηεταβζβτά τκυ δαετυζέκυ στβθ εηφΪθδσβ στβθ κγσθβέ Αυτσ δε κρέαεδ τκ στηβκζκ t γδα ξράσβ
στκ Sage, δβζαδά δεθ ηπκρκτηε θα τκ ξρβσδηκπκδάσκυηε γδα θα εδσαγΪγκυηε Ϋθα πκζυυθυηκ σππς τκ
t2 + 2t + 1έ
Θα ηπκρκτσαηε εθαζζαετδεΪ θα δυσκυηε
1 sage: S = QQ[’t’]
2 sage: S == R
3 True
τκθ παραπΪθπ κρδσησ κρέσαηε τκθ δαεττζδκ S εαδ ρπτάσαηε Χβ Ϋεφρασβ ηε τα δτκ οο Ϋξεδ τβθ
Ϋθθκδα τβς ερυτβσβςΨ αθ κδ δαεττζδκδ S, R ταυτέακθταδ, εαδ πάραηε γετδεά ΧtrueΨ απΪθτβσβέ Καδ αυτσς
κ τρσπκς κρδσηκτ Ϋξεδ τκ έδδκ πρσβζβηα στβ ξράσβ τβς ηεταβζβτάς tέ
Έθας πκζτ βκζδεστερκς τρσπκς εέθαδ θα δυσκυηε
τκ παραπΪθπ κ τεζεστάς ‘in’ Ϋδπσε γετδεά απΪθτβσβ ΧtrueΨ, αφκτ πρΪγηατδ τκ πκζυυθυηκ εέθαδ
στκδξεέκ τκυ δαετυζέκυ Rέ
ε εΪγε περέπτπσβ γα ηπκρκτσαηε θα βρκτηε τκθ γεθθάτκρα τκυ πκζυπθυηδεκτ δαετυζέκυ πς
ειάςμ
Οδ πραγηατδεκέ εαδ κδ ηδγαδδεκέ αρδγηκέ εέθαδ δκηΫς εδθβτάς υπκδδαστκζάς εαδ κδ πρΪιεδς δεθ γέά
θκθταδ ηε αερδβά τρσπκέ Ιδδαέτερα κδ ηδγαδδεκέ αρδγηκέ γεπρκτθταδ στδ παρΪγκθταδ πΪθπ απσ τκυς
πραγηατδεκτς ηε τκ στηβκζκ i
1 sage: CC
2 Complex Field with bits of precision
3 sage: CC.0 # 0th generator of CC
ζ .00000000000000*I
1 sage: R, t = QQ[’t’].objgen()
2 sage: f = *t^ + *t^ - /
3 sage: f^
ζ *t^ + *t^ - 0/ *t^ + *t^ - 0/ *t^ + /
η sage: cyclo = R.cyclotomic_polynomial( ); cyclo
θ t^ + t^ + t^ + t^ + t^ + t +
ι sage: g = * cyclo * t^ * (t^ + 0*t + )
κ sage: g
λ *t^ + *t^ + *t^ + *t^ + *t^ + *t^ +
1ί *t^ 0 + *t^ + *t^ + *t^ + *t^ + *t^
11 sage: F = factor(g); F
12 ( ) * t^ * (t^ + 0*t + ) *
13 (t^ + t^ + t^ + t^ + t^ + t + )
1ζ sage: F.unit()
1η
1θ sage: list(F)
1ι [(t, ), (t^ + 0*t + , ), (t^ + t^ + t^ + t^ + t^
1κ + t + , )]
δδαέρεσβ δτκ πκζυπθτηπθ δέθεδ απκτΫζεσηα στκθ δαεττζδκ πβζέεπθ, τκθ κπκέκ τκ sage κρέαεδ
αυτσηαταμ
1 sage: x = QQ[’x’].0
2 sage: f = x^ + ; g = x^ -
3 sage: h = f/g; h
ζ (x^ + )/(x^ - )
η sage: h.parent()
θ Fraction Field of Univariate Polynomial Ring in x over
ι Rational Field
Ο δαεττζδκς πρκσδδκρέαεταδ απσ τβ ηεταβζβτάέ Ορέακθτας Ϋθαθ δαεττζδκ ηε Ϊζζκ σθκηα αζζΪ τβθ
έδδα ηεταβζβτά δεθ εαταζάγκυηε σε δδαφκρετδεκτς δαετυζέκυςέ
Ας δκτηε Ϋθα παρΪδεδγηα εθσς αγρκέσηατκς σπκυ εΪγε σρκς Ϋξεδ εαδ δδαφκρετδεσ σθκηαμ
λέθέ ΣΟ ΠΡΟΓΡΑΜΜΑ Sχύϋ 1ι3
ε αυτσ τκ βδβζέκ γα ξρβσδηκπκδάσκυηε τβ δυθατστβτα τκυ θα τρΫιεδ σε cloud server, υστε κ ξράά
στβς θα Ϋξεδ πρσσβασβ σε αυτσ ηΫσα απσ ηδα σεζέδα τκυ φυζζκηετρβτά τκυ ξπρές θα ξρεδαστεέ θα τκ
εγεαταστάσεδ στκθ υπκζκγδστά τκυέ