Top
Back: echo
Forward: multBound
FastBack: Control structures
FastForward:
Up: System variables
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.3.3 minpoly

Type:
number
Purpose:
describes the coefficient field of the current basering as an algebraic extension with the minimal polynomial equal to minpoly. Setting the minpoly should be the first command after defining the ring.
Note:
The minimal polynomial has to be specified in the syntax of a polynomial. Its variable is not one of the ring variables, but the algebraic element which is being adjoined to the field. Algebraic extensions in SINGULAR are only possible over the rational numbers or over Z/p, p a prime number.
SINGULAR does not check whether the given polynomial is irreducible! It can be checked in advance with the function factorize (see factorize).
Example:
 
  //(Q[i]/(i^2+1))[x,y,z]:
  ring Cxyz=(0,i),(x,y,z),dp;
  minpoly=i^2+1;
  i2;  //this is a number, not a poly
==> -1
See factorize; ring.

Top Back: echo Forward: multBound FastBack: Control structures FastForward: Up: System variables Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.1, 2022, generated by texi2html.