up previous next
1.1.7 Tutorial: rings, polynomials, use command
When you want to do a computation in CoCoA-5, the first thing you
need to do is tell CoCoA-5 in which ring to compute. The
command informs CoCoA-5 about this. The most convenient method does
two things at once: it creates the polynomial ring, and then chooses
that ring as the "current ring".
Once the correct current ring has been selected, you may type in
polynomials using a natural syntax (with the caveat that you must
to denote all products (e.g. between coefficients and
indeterminates, or even between powers of indeterminates).
The most common coefficient fields are the rationals (denoted by
and small prime finite fields (denoted by
/**/ use P ::= QQ[x,y]; // polys in x,y with coefficients in QQ
x^2 + 2*x*y + y^2
/**/ use ZZ/(2)[a,b]; // polys in a,b with coefficients in ZZ/(2)
a^2 + b^2
/**/ use QQ[x,y,z],lex; // polys in x,y,z, coeffs in QQ, term order "lex"
x + y^2