Creates an ideal of the order S, generated by the elements of gens.
Given an order S which is a product of orders Si in the number fields generating Algebra(S), and a tuple of ideals Ii of Si, returns the S-ideal corresponding to the direct sum of the Ii.
Creates an ideal of S, generated by gen.
Given an S-ideal I and an order T, returns the extension IT as a T-ideal. Note that if T is a subset of S, then IT=I.
Returns the étale algebra in which the ideal I lives.
Returns the order of definition of the ideal I.
Returns a Z-basis of the ideal I.
Returns the generators of the ideal I.
Returns whether the ideals I and J are equal, respectively not equal.Let I a fractional S-ideal in an étale algebra over Q. Let P be the upper triangular Hermite normal form of the integer square matrix d.M where M is the matrix whose rows are the coefficients of a Z-basis of I and d is the least common denominator of its entries. The Hash of I is defined to be the sequence consisting of the least common denominator of frac(1)(d).P and the entries of the upper triangular part of frac(1)(d).P. This hashing method has no collisions and it is independent of the choice of Z-basis from which we start the procedure.
Return whether I is equal to S when I is an ideal of S.
Given an element x and an ideal I, returns the coordinates of x with respect to the stored Z-basis of I.
Returns the coordinates of the elements in seq with respect to the stored Z-basis of I.
Returns whether the element x is in the ideal I.
Given an ideal I of an order S, return whether S ⊆I.
Given an ideal I of an order S, return whether I ⊆S.
Checks if the ideal I1 is inside the ideal I2. The ideals need to be fractional.
Given an ideal T computes its index with respect to the basis of the algebra of T as a free Q-module.
Given fractional ideals J and I defined over the same order returns [J:I] = [J:J ∩I]/[I : J ∩I].
Given an ideal I of an order S returns [S:I] = [S:S ∩I]/[I : S ∩I].
Given an order S returns the ideal 1 * S which will be cached.
Computes the conductor of an order O, defined as the colon ideal (O:OK), where OK is the maximal order of the algebra.
Returns the sum of two ideals.
Product of two ideals.
Returns x * I.
Returns the nth power of an ideal.
Given an ideal I of S, return S ∩I.
Given ideals I and J, return J ∩I.
Returns the sum of the fractional ideals in the sequence.
Computes the colon ideal (I:J) (as an O-ideal) of two O-ideals, which is the set of elements x of the algebra such that x .J ⊂I.
Computes the colon ideal (1 .O:J) (as an O-ideal).
Computes the colon ideal (I:1 .O) (as an O-ideal).
Checks if the ideal I is invertible in its order of definition O.
Computes the inverse of an invertible ideal I.
Given a fractional ideal I computes its multiplicator ring (I:I).
Return if the ideal I is a product of ideals in the number fields defining the algebra. If so, it returns also the sequence of these ideals (in the appropriate orders). Note: we require Order(I) to be MultiplicatorRing(I).
ZeroDivisorsAllowed: BoolElt Default: false
Returns a random element of the ideal I. The coefficients are bounded by the positive integer bd. One can allow zero-divisors using the optional parameter ZeroDivisorsAllowed, which by default is set to false.
CoeffRange: RngIntElt Default: 3
ZeroDivisorsAllowed: BoolElt Default: false
Returns a random (small coefficient) element of the ideal I. The range of the random coefficients can be increased by giving the optional parameter CoeffRange. One can allow zero-divisors using the optional parameter ZeroDivisorsAllowed, which by default is set to false.
Given two integral ideals I and J of an order S, returns whether I + J=R.
Returns whether the ideal I of S is integral, that is I ⊆S.
Given a fractional S ideal I, returns the ideal d .I, d when d is the smallest integer such that d .I is integral in S. Compare with SmallRepresentative.
Returns the smallest integer contained in the ideal I.
Returns an element x such that x .I is an integral ideal coprime with J, togheter with the product x .I. The first ideal must be invertible and the second should be integral.
A procedure that replaces the ZBasis with an LLL-reduced one. Note: the attribute inclusion matrix, which depends on the Z-Basis is modified as well.