Difference between revisions of "CoCoA:HowTo:Use Modular Numbers"

Revision as of 18:27, 22 October 2007

How can one compute with modular numbers? What's wrong in this?

  Use R::=Z/(5)[x];
  5x+2y;
2y
-------------------------------
  5=0;
FALSE
-------------------------------

Moreover this command throws an error

  Use R::=Z/(5);

  Type(5);
INT
-------------------------------

5 is an integer, and integers do not depend on the current ring: could you imagine what would happen to a For cycle over Z/(2)? ;-)

If you want to use 5 as a modular number you should either use this syntax (similar to C/C++)

  5 % 5;
0 % 5
-------------------------------

or embed your integer into the polynomial ring

  Use R::=Z/(5)[x];
  Poly(5);
0
-------------------------------

The creation of a polynomial ring with no indeterminates has been disabled to highlight this (unexpected?) behaviour.

by Bigatti 17:26, 29 Nov 2005 (CET)

@@ Line 1: / Line 1: @@
-  Type(5);
+== Question ==
-INT
+How can one compute with modular numbers?  What's wrong in this?
--------------------------------
+   Use R::=Z/(5)[x];
-e' un intero, e gli interi non dipendono dall'anello corrente (puoi
+x+2y;
-immaginarti cosa succederebbe a un ciclo For?)
+y
+ -------------------------------
+=0;
+ FALSE
+ -------------------------------
+Moreover this command throws an error
+   Use R::=Z/(5);
-per vedere 5 come modulare devi fare:
+== Answer ==
-% 5;
+   Type(5);
-% 5
+ INT
--------------------------------
+ -------------------------------
-(analogo al C) oppure immergerlo nell'anello di polinomi
+is an integer, and integers do not depend on the current ring: could you imagine what would happen to a For cycle over Z/(2)?  ;-)
-  Use R::=Z/(5)[x];
-  Poly(5);
+If you want to use 5 as a modular number you should either use this syntax (similar to C/C++)
+% 5;
--------------------------------
+% 5
+ -------------------------------
+or embed your integer into the polynomial ring
+   Use R::=Z/(5)[x];
+   Poly(5);
+ -------------------------------
+The creation of a polynomial ring with no indeterminates has been disabled to highlight this (unexpected?) behaviour.
+by [[User:Bigatti|Bigatti]] 17:26, 29 Nov 2005 (CET)
+[[Category:HowTo|{{PAGENAME}}]][[Category:CoCoA4]]