ring.lib
constant
optionIsSet
type
type
string
→
returntype
constant
testOptionIsSet
type
type
returntype
constant
changechar
type
type
list
→
(
list
→
returntype
)
constant
changeord
type
type
list
→
(
list
→
returntype
)
constant
changevar
type
type
list
→
(
string
→
returntype
)
constant
defring
type
type
string
→
(
string
→
(
int
→
(
string
→
returntype
)
)
)
constant
defrings
type
type
list
→
(
int
→
returntype
)
constant
defringp
type
type
list
→
(
int
→
returntype
)
constant
extendring
type
type
list
→
(
string
→
(
string
→
(
int
→
returntype
)
)
)
constant
fetchall
type
type
list
→
(
def
→
returntype
)
constant
imapall
type
type
list
→
(
def
→
returntype
)
constant
mapall
type
type
list
→
(
ideal
→
(
def
→
returntype
)
)
constant
ord_test
type
type
def
→
returntype
constant
ringtensor
type
type
list
→
returntype
constant
ringweights
type
type
def
→
returntype
constant
preimageLoc
type
type
string
→
(
string
→
(
string
→
returntype
)
)
constant
rootofUnity
type
type
int
→
returntype
constant
isQuotientRing
type
type
def
→
returntype
constant
testIsQuotientRing
type
type
returntype
constant
hasFieldCoefficient
type
type
def
→
returntype
constant
hasAlgExtensionCoefficient
type
type
def
→
returntype
constant
hasTransExtensionCoefficient
type
type
def
→
returntype
constant
hasGFCoefficient
type
type
def
→
returntype
constant
hasZp_aCoefficient
type
type
def
→
returntype
constant
hasZpCoefficient
type
type
def
→
returntype
constant
hasQQCoefficient
type
type
def
→
returntype
constant
hasGlobalOrdering
type
type
def
→
returntype
constant
hasCommutativeVars
type
type
def
→
returntype
constant
hasNumericCoeffs
type
type
def
→
returntype
constant
isSubModule
type
type
def
→
(
def
→
returntype
)
constant
hasMixedOrdering
type
type
returntype
constant
changeordTo
type
type
string
→
(
def
→
returntype
)
constant
addvarsTo
type
type
int
→
(
list
→
(
def
→
returntype
)
)
constant
addNvarsTo
type
type
int
→
(
string
→
(
int
→
(
def
→
returntype
)
)
)