CoCoA:HowTo:Use Modular Numbers

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

---