and assert assigned attributes break by case cat cmpeq cmpne continue declare delete diff div do else elif end eq error exists false for forall forward freeze function ge gt if import in intrinsic join le lt max meet min mod ne not or procedure quit repeat require requirege requirerange return sdiff select then time to true until verbose vprint vtime when while xor Booleans EllipticCurve ExtensionField FiniteField GF HyperellipticCurve Integers Jacobian PolynomialRing Rationals RealField AddAttribute AssignNames Attach AttachSpec CoveringStructure Cputime Detach DetachSpec ElementType ExistsCoveringStructure ExtendedType GetAttributes GetSeed ISA IsCoercible IsIntrinsic ListAttributes MakeType Random Realtime SetSeed Type