The (default) parent ring of ring element r. Usually the parent of r has been created explicitly before, but in certain cases, such as literal integers, rationals, reals, and values returned by certain functions a default parent is created in the background.
The `type' of r, that is, the Magma category to which the ring element r belongs. The procedure call ListCategories() gives a list of all the categories.
The zero element of ring R; this is equivalent to R ! 0.
The multiplicative identity 1 of ring R; this is equivalent to R ! 1.
Coerce the element a of some ring into the ring R.If a is an integer, the coercion will always succeed: the element a.1_R will be returned, where 1_R is the unit element of R.
A random element of the finite ring R (every element of R has the same probability of being returned).
A representative element of the finite ring R.
Element a.
The negation (additive inverse) of element a.
The sum of the ring elements a and b; if a and b do not belong to the same ring R, an attempt will be made to find a common overstructure in which the sum can be taken.
The difference of the ring elements a and b; if a and b do not belong to the same ring R, an attempt will be made to find a common overstructure in which the difference can be taken.
The product of the ring elements a and b; if a and b do not belong to the same ring R, an attempt will be made to find a common overstructure in which the product can be taken.
Form the k-th power of the ring element a, for small, non-negative, k. If a = 0 then we must have k > 0.
Form the k-th power of the multiplicative inverse of the unit a.
Given an element a of R and a unit b of R, form the quotient of the elements a and b. If b is not invertible in R, an error results, unless both a and b are integers, in which case a / b returns the rational number a/b. If a and b do not belong to the same ring R, an attempt will be made to find a common overstructure in which the quotient can be taken.
Mutation assignment: change a into the sum of a and b.
Mutation assignment: change a into the difference of a and b.
Mutation assignment: change a into the product of a and b.
Mutation assignment: change a into the quotient of a and b.
Mutation assignment: change a into the power a^k.
True if the elements a and b of R are the same, otherwise false.
True if the elements a and b of R are distinct, otherwise false.
True if the rings R and S are the same, otherwise false.
True if the rings R and S are distinct, otherwise false.
True if and only if a is an element of R.
True if and only if a is not an element of R.
True if and only if the element a of R equals 0_R.
True if and only if the element a of R equals 1_R.
True if and only if the element a of R equals the element -1 of R.
True if a is a unit in its parent R, false otherwise.
True if and only if x^2 equals x.
True if and only if some integer power x^i of x is zero.
True if and only if x is a zero-divisor, that is, there exists an element y in the parent R of x such that xy=0.
True if and only if the parent R of the element x is a domain and x is irreducible in R, that is, x is a non-unit of R and whenever a product ab of elements of R divides x then a or b is a unit of R.
True if and only if the parent R of the element x is a domain and x is a prime element of R, that is, x is neither 0 nor a unit and whenever x divides the product ab of two elements of R it divides a or b.
The comparison operations are only defined
on types of ring that are ordered.
a gt b : RngElt, RngElt -> BoolElt
True if the ring element a is greater than the ring element b, otherwise false.
True if the ring element a is greater than or equal to the ring element b, otherwise false.
True if the ring element a is less than the ring element b, otherwise false.
True if the ring element a is less than or equal to the ring element b, otherwise false.
The maximum of the ring elements a and b; if a and b do not belong to the same ring R, an attempt will be made to find a common overstructure in which the maximum can be taken.
The maximum of the sequence Q of ring elements.
The minimum of the ring elements a and b; if a and b do not belong to the same ring R, an attempt will be made to find a common overstructure in which the minimum can be taken.
The minimum of the sequence Q of ring elements.[Next] [Prev] [Right] [Left] [Up] [Index] [Root]