Invariants
      DixmierOhnoInvariants(C) : Crv -> SeqEnum, SeqEnum
      Example CrvG3_dixmierohno-ex (H136E1)
      DiscriminantOfTernaryQuartic(f) : RngMPolElt -> Any
      Example CrvG3_discriminant-ex (H136E2)
      DiscriminantFromDixmierOhnoInvariants(DO) : SeqEnum -> Any
      DixmierOhnoInvariantsEqual(DO1, DO2) : SeqEnum , SeqEnum -> BoolElt
      DixmierOhnoAlgebraicRelations(DOinv) : SeqEnum -> SeqEnum
      CovariantHessian(Phi) : RngMPolElt -> RngMPolElt
      ContravariantSigmaAndPsi(Phi) : RngMPolElt -> RngMPolElt, RngMPolElt
      QuarticCovariantsAndContravariants(Phi) : RngMPolElt -> SeqEnum

 
Creation from Invariants
      PlaneQuarticFromDixmierOhnoInvariants(DO) : SeqEnum -> Crv, SeqEnum
      Example CrvG3_reconstruction-ex (H136E3)

 
Isomorphisms
      IsIsomorphicPlaneQuartics(X1, X2) : CrvPln , CrvPln -> BoolElt, SeqEnum
      IsomorphismsOfPlaneQuartics(X1, X2) : CrvPln , CrvPln -> SeqEnum
      AutomorphismsOfPlaneQuartic(X) : CrvPln -> SeqEnum
      AutomorphismGroupOfPlaneQuartic(X) : CrvPln -> GrpPerm, Map
      Example CrvG3_auts-ex (H136E4)
      AutomorphismGroupOfPlaneQuartic(X, Autos) : CrvPln , SeqEnum -> GrpPerm, Map
      GeometricAutomorphismGroup(C) : Crv -> GrpPerm

 
Twists
      TwistsOfPlaneQuartic(C, Autos) : Crv , SeqEnum -> SeqEnum[Crv], GrpPerm
      Twists(C) : Crv -> SeqEnum, GrpPerm
      Example CrvG3_twists-ex (H136E5)

 
Bibliography

[Next][Prev] [Right] [____] [Up] [Index] [Root]