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.
Type(r) : RngElt -> Cat
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.
Id(R) : Rng -> RngElt
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.1R will be returned, where
1R 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).
Rep(R) : Rng -> RngElt
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 k.
If k = 0, then ak returns 1, even when a = 0.
If k is negative, a must have a multiplicative inverse and the result
is (a - 1) - k.
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 ak.
Returns true if the elements a and b of R are the same, otherwise
false.
Returns true if the elements a and b of R are distinct, otherwise
false.
Returns true if the rings R and S are the same, otherwise false.
Returns true if the rings R and S are distinct, otherwise false.
Returns true if and only if a is an element of R.
Returns true if and only if a is not an element of R.
Returns true if and only if the element a of R equals 0R.
Returns true if and only if the element a of R equals 1R.
Returns true if and only if the element a of R equals the element -1 of R.
Returns true if a is a unit in its parent R, false otherwise.
Returns true if and only if x2 equals x.
Returns true if and only if some integer power xi of x is zero.
Returns 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.
Returns 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.
Returns 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.
Returns true if the ring element a is greater than the
ring element b, otherwise false.
Returns true if the ring element a is greater than or
equal to the ring element b, otherwise false.
Returns true if the ring element a is less than the
ring element b, otherwise false.
Returns 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]
|