Skip to content

Instantly share code, notes, and snippets.

@edgarcosta
Created April 16, 2024 16:27
Show Gist options
  • Save edgarcosta/8f2bcd7b2ef3286ba55a9f664de5c090 to your computer and use it in GitHub Desktop.
Save edgarcosta/8f2bcd7b2ef3286ba55a9f664de5c090 to your computer and use it in GitHub Desktop.
AlgebraicClosure(R::Rng) -> FldAC
Basis(F::FldAlg, R::Rng) -> SeqEnum
ChangeRing(C::AlgClff, S::Rng) -> AlgClff, ModTupFld, Map
CharacteristicPolynomial(a::FldAlgElt, R::Rng) -> RngUPolElt
CharacteristicPolynomial(a::FldFunElt, R::Rng) -> RngUPolElt
ConstantFieldExtension(F::FldFun, k::Rng) -> FldFun, Map
CreateRootVectorSpace(K::Rng, n::RngIntElt, R::RootDtm) -> ModTupFld
FakeProjectiveSpace(k::Rng, W::SeqEnum[RngIntElt], Q::SeqEnum[SeqEnum[FldRatElt]]) -> TorVar
FunctionField(R::Rng) -> FldFunRat
FunctionField(R::Rng, n::RngIntElt) -> FldFunRat
IntegralBasis(K::FldAlg, R::Rng) -> SeqEnum
IntegralClosure(R::Rng, F::FldFun) -> RngFunOrd
KMatrixSpace(K::Rng, m::RngIntElt, n::RngIntElt) -> ModMatFld
KModule(K::Rng, n::RngIntElt) -> ModFld
KSpace(K::Rng, n::RngIntElt) -> ModTupFld
KSpace(K::Rng, n::RngIntElt, F::Mtrx) -> ModTupFld
KSpace(K::Rng, n::RngIntElt, F::SeqEnum) -> ModTupFld
KSpace(A::Alg) -> ModTupFld, Map
MaximalOrder(A::AlgAss[FldAlg]) -> AlgAssVOrd
MaximalOrder(A::AlgAssV[FldRat]) -> AlgAssVOrd
MaximalOrder(A::AlgAssV[FldAlg]) -> AlgAssVOrd
MaximalOrderFinite(A::AlgAssV[FldFunRat]) -> AlgAssVOrd
MaximalOrderFinite(A::AlgAss[FldFun]) -> AlgAssVOrd
MaximalOrderFinite(A::AlgAssV[FldFun]) -> AlgAssVOrd
MaximalOrderInfinite(A::AlgAssV[FldFunRat]) -> AlgAssVOrd
MaximalOrderInfinite(A::AlgAssV[FldFun]) -> AlgAssVOrd
MaximalOrderInfinite(A::AlgAss[FldFun]) -> AlgAssVOrd
MinimalPolynomial(a::FldFunElt, R::Rng) -> RngUPolElt
MinimalPolynomial(a::FldAlgElt, R::Rng) -> RngUPolElt
Module(L::SeqEnum[FldFunElt], R::Rng) -> Mod, Map, SeqEnum
Module(L::SeqEnum[FldFunRatUElt], R::Rng) -> Mod, Map, SeqEnum
Norm(a::FldFunElt, R::Rng) -> RngElt
Norm(a::FldAlgElt, R::Rng) -> RngElt
Order(A::AlgAssV[FldFun], m::AlgMatElt[FldFun], I::SeqEnum[RngFunOrdIdl]) -> AlgAssVOrd
Order(A::AlgAssV[FldAlg], pm::PMat) -> AlgAssVOrd
Order(A::AlgAssV[FldAlg], m::AlgMatElt[FldAlg], I::SeqEnum[RngOrdFracIdl]) -> AlgAssVOrd
Order(A::AlgAssV[FldFun], pm::PMat) -> AlgAssVOrd
RadicalExtension(K::Rng, n::RngIntElt, d::RngElt) -> FldAlg
RationalFunction(a::FldFunGElt, R::Rng) -> RngElt
RationalFunctionField(R::Rng) -> FldFunRat
RationalFunctionField(R::Rng, n::RngIntElt) -> FldFunRat
Relations(L::SeqEnum[FldFunRatUElt], R::Rng, m::RngIntElt) -> ModTupRng
Relations(L::SeqEnum[FldFunElt], R::Rng, m::RngIntElt) -> ModTupRng
Relations(L::SeqEnum[FldFunElt], R::Rng) -> ModTupRng
Relations(L::SeqEnum[FldFunRatUElt], R::Rng) -> ModTupRng
RepresentationMatrix(a::FldFunElt, R::Rng) -> AlgMatElt
RepresentationMatrix(a::FldAlgElt, R::Rng) -> AlgMatElt
RestrictionOfScalars(A::AlgAss[FldAlg]) -> AlgAss, Map
RestrictionOfScalars(A::AlgAss[FldFun]) -> AlgAss, Map
RestrictionOfScalars(A::AlgAss[FldAlg], F::Fld) -> AlgAss, Map
RestrictionOfScalars(A::AlgAss[FldFun], F::FldFunG) -> AlgAss, Map
ToricVariety(k::Rng, W::SeqEnum[RngIntElt], Q::SeqEnum[SeqEnum[FldRatElt]]) -> TorVar
Trace(a::FldAlgElt, R::Rng) -> RngElt
Trace(a::FldFunElt, R::Rng) -> RngElt
TransformBasis(A::Mtrx[FldNum], R::Rng) -> Mtrx
TransformBasis(A::Mtrx[FldOrd], R::Rng) -> Mtrx
TransformVector(a::ModTupRngElt[FldNum], R::Rng) -> ModTupRngElt
UnderlyingField(F::FldFunG, R::Rng) -> FldFunG
UnderlyingRing(F::FldFunG, R::Rng) -> FldFunG
VectorSpace(A::Alg) -> ModTupFld, Map
VectorSpace(K::Rng, n::RngIntElt, F::Mtrx) -> ModTupFld
VectorSpace(K::Rng, n::RngIntElt) -> ModTupFld
VectorSpace(K::Rng, n::RngIntElt, F::SeqEnum) -> ModTupFld
VectorSpaceOverQ(A::Alg) -> ModTupFld, Map
WriteOver(M1::GrpMat[FldRat], K::AlgAssV) -> GrpMat
_internal_fast_latcoerce(L::Lat, E::SeqEnum[Tup], M1::RngIntElt, M2::RngIntElt, R::Rng, q::FldRatElt) -> SeqEnum
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment