CoCoA:HowTo:Use Modular Numbers
From ApCoCoAWiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Modular Numbers
Question
What's wrong in this?
Use R::=Z/(5)[x]; 5x+2y; 2y
5=0; FALSE
Moreover this throws an error
Use R::=Z/(5);
Answer
Type(5);
INT
5 e' un intero, e gli interi non dipendono dall'anello corrente (puoi immaginarti cosa succederebbe a un ciclo For?)
per vedere 5 come modulare devi fare:
5 % 5;
0 % 5
(analogo al C) oppure immergerlo nell'anello di polinomi
Use R::=Z/(5)[x]; Poly(5);
0
