- rational
- rational-function-field
- rational-point-enum
- rational-points
- rational-sols
- rational_curves
- rational_curves-elliptic_logs
- rational_curves-height
- rational_curves-isogenies
- rational_curves-kodaira
- rational_curves-local
- RationalCharacterTable
- RationalCurve
- RationalCurveExample
- RationalCuspidalSubgroup
- RationalDecomposition
- RationalDifferentialField
- RationalExtensionRepresentation
- RationalField
- RationalForm
- RationalFunction
- RationalFunctionField
- RationalHomology
- Rationally
- IsRationallyEquivalent(X, Y) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
- IsRationallyEquivalent(L1, L2) : LatNF, LatNF -> BoolElt
- IsRationallyEquivalent(L1, L2, p) : LatNF, LatNF, RngOrdIdl -> BoolElt
- IsRationallyEquivalent(f, g) : RngMPolElt, RngMPolElt -> BoolElt, AlgMatElt
- IsRationallySimilar(X, Y) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt, RngIntElt
- IsRationallySimilar(f, g) : RngMPolElt, RngMPolElt -> BoolElt, AlgMatElt, RngIntElt
- RationalMap
- RationalMapping
- RationalMatrixGroupDatabase
- RationalParametrization
- RationalPoint
- RationalPoints
- RationalPoints(E) : CrvEll -> @ PtEll @
- Points(E) : CrvEll -> @ PtEll @
- Points(C) : CrvHyp -> SetIndx
- Points(C, x) : CrvHyp, RngElt -> SetIndx
- Points(J) : JacHyp -> SetIndx
- Points(J) : JacHyp -> SetIndx
- Points(J, a, d) : JacHyp, RngUPolElt, RngIntElt -> SetIndx
- Points(J, P) : JacHyp, SrfKumPt -> SetIndx
- Points(C : parameters) : CrvCon -> SetIndx
- Points(G) : SchGrpEll -> SetIndx
- RationalPoints(f, q) : RngUPolElt, RngIntElt -> SetIndx
- RationalPoints(Z) : Sch -> SetEnum
- RationalPoints(X) : Sch -> SetIndx
- RationalPoints(K, Q) : SrfKum, [RngElt] -> SetIndx
- RationalPointsByFibration
- RationalPointsGenus2
- RationalPuiseux
- RationalReconstruction
- RationalRepresentative
- RationalRuledSurface
- Rationals
- RationalsAsNumberField
- RationalScroll
- RationalSequence
- RationalSolutions
V2.29, 3 August 2026