- InnerProductMatrix
  
 
  - InnerProductScaling
  
 
  - InnerShape
  
 
  - InnerSlopes
  
 
  - InnerTwists
  
 
  - InnerVertices
  
 
  - Input
  
 
  - input
  
 
  - input-systems
  
 
  - Insert
  
    -  CoprimeBasisInsert(~L, I) : [RngOrdIdl], RngOrdFracIdl  ->
 
    -  Insert(~S, i, x) : List, RngIntElt, Any ->
 
    -  Insert(~S, i, x) : SeqEnum, RngIntElt, Elt ->
 
    -  Insert(~S, k, m, T) : SeqEnum, RngIntElt, RngIntElt, SeqEnum ->
 
    -  InsertBlock(A, B, i, j) : Mtrx, Mtrx, RngIntElt, RngIntElt -> Mtrx
 
    -  InsertBlock(~a, b, i, j) : Mtrx, Mtrx, RngIntElt, RngIntElt -> Mtrx
 
    -  InsertBlock(A, B, i, j) : MtrxSprs, MtrxSprs, RngIntElt, RngIntElt -> MtrxSprs
 
    -  InsertVertex(e) : GrphEdge -> Grph
 
    -  InsertVertex(e) : GrphEdge -> GrphMult
 
    -  InsertVertex(T) : { GrphEdge } -> Grph
 
    -  InsertVertex(T) : { GrphEdge } -> GrphMult
 
    -  InverseRowInsert(~t, i, j) : Tbl, RngIntElt, RngIntElt ->
 
    -  RowInsert(~t, w) : Tbl, MonOrdElt ->
 
    -  RowInsert(~t, x) : Tbl, RngIntElt ->
 
  
 
  - InsertBlock
  
    -  InsertBlock(A, B, i, j) : Mtrx, Mtrx, RngIntElt, RngIntElt -> Mtrx
 
    -  InsertBlock(~a, b, i, j) : Mtrx, Mtrx, RngIntElt, RngIntElt -> Mtrx
 
    -  InsertBlock(A, B, i, j) : MtrxSprs, MtrxSprs, RngIntElt, RngIntElt -> MtrxSprs
 
  
 
  - InsertVertex
  
 
  - Insoluble
  
 
  - Insolvable
  
 
  - Instance
  
 
  - Instances
  
 
  - instances
  
 
  - InstancesForDimensions
  
 
  - instant
  
 
  - instant-lp
  
 
  - Int
  
 
  - int_cl
  
 
  - Integer
  
    -  CartanInteger(R, r, s) : RootDtm, RngIntElt, RngIntElt -> RngIntElt
 
    -  Facint(f) : RngIntEltFact -> RngIntElt
 
    -  FactorizationToInteger(s) : [ <RngIntElt, RngIntElt> ] -> RngIntElt
 
    -  HadamardMatrixFromInteger(x, n) : RngIntElt, RngIntElt -> AlgMatElt
 
    -  HadamardMatrixToInteger(H) : AlgMatElt -> RngIntElt
 
    -  IntegerRelation(q): SeqEnum -> SeqEnum, FldReElt
 
    -  IntegerRing() : -> RngInt
 
    -  IntegerRing(F) : FldFunRat -> RngPol
 
    -  IntegerRing(F) : FldPad -> RngPad
 
    -  IntegerRing(F) : RngFrac -> Rng
 
    -  IntegerRing(R) : RngSer -> RngSerPow
 
    -  IntegerRing(E) : RngSerExt -> RngSerExt
 
    -  IntegerSolutionVariables(L) : LP -> SeqEnum
 
    -  IntegerToSequence(n, b) : RngIntElt, RngIntElt -> [RngIntElt]
 
    -  IntegerToString(n) : RngIntElt -> ModStgElt
 
    -  IntegerToString(n) : RngIntElt -> MonStgElt
 
    -  IntegerToString(n, b) : RngIntElt, RngIntElt -> ModStgElt
 
    -  IntegerToString(n, b) : RngIntElt, RngIntElt -> MonStgElt
 
    -  Integers(O) : RngOrd -> RngOrd
 
    -  IsInteger(phi) : MapModAbVar ->  BoolElt, RngIntElt
 
    -  MaximalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
 
    -  MaximalOrder(F) : FldNum -> RngOrd
 
    -  MaximalOrder(F) : FldQuad -> RngQuad
 
    -  MaximalOrder(Q) : FldRat -> RngInt
 
    -  MaximalOrder(O) : RngOrd -> RngOrd
 
    -  MinimalInteger(I) : AlgEtQIdl -> RngIntElt
 
    -  MinimalInteger(I) : RngOrdIdl -> RngElt
 
    -  MinimalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
 
    -  OrderedIntegerMonoid() : -> MonOrd
 
    -  PlacticIntegerMonoid() : -> MonOrd
 
    -  ResidueClassRing(m) : RngIntElt -> RngIntRes, Map
 
    -  ResidueClassRing(Q) : RngIntEltFact -> RngIntRes
 
    -  RingOfIntegers(L) : FldXPad -> RngXPad
 
    -  SequenceToInteger(s, b) : [RngIntElt], RngIntElt -> RngIntElt
 
    -  SetIntegerSolutionVariables(L, I, m) : LP, SeqEnum[RngIntElt], BoolElt ->
 
    -  SetPrintKetsInteger(b) : BoolElt ->
 
    -  StringToInteger(s) : MonStgElt -> RngIntElt
 
    -  StringToInteger(s, b) : MonStgElt, MonStgElt -> RngIntElt
 
    -  StringToIntegerSequence(s) : MonStgElt -> [ RngIntElt ]
 
    -  TableauIntegerMonoid() : -> MonTbl
 
  
 
V2.29, 21 October 2025