recover.lib
constant getposi
typestringreturntype
constant string2digit
typestringreturntype
constant string2poly
typestringreturntype
constant roundstringpoly
typeint(stringreturntype)
constant roundpoly
typepolyreturntype
constant substAll
typelist(polyreturntype)
constant veronese
typelist(intreturntype)
constant veronese_radical
typelist(intreturntype)
constant randlincom
typeint(idealreturntype)
constant getmatrix
typeint(bigint(idealreturntype))
constant getpolys
typeint(matrixreturntype)
constant getD
typeidealreturntype
constant mat2list
typebigintmatreturntype
constant list2bigintmat
typelistreturntype
constant bigint2poly
typebigintreturntype
constant bigintmat2matrix
typebigintmatreturntype
constant use_LLL
typematrixreturntype
constant use_LLL_bigintmat
typematrixreturntype
constant use_FLINT_LLL
typematrixreturntype
constant use_NTL_LLL
typematrixreturntype
constant getRelations
typebigint(int(listreturntype))
constant getRelationsRadical
typebigint(int(listreturntype))
constant find_unused_nonzero
typeintvec(int(matrixreturntype))
constant gaussRowWithoutPerm
typematrixreturntype
constant gaussColWithoutPerm
typematrixreturntype
constant multwithmaxideal
typeint(idealreturntype)
constant prodofallringvars
typeintreturntype
constant getcoefmat
typeint(idealreturntype)
constant getconcatcoefmats
typelistreturntype
constant string2intdigit
typestringreturntype
constant string2bigint
typestringreturntype
constant mat2bigintmat
typematrixreturntype
constant findnonzero
typeint(matrixreturntype)
constant superfluousL
typelistreturntype
constant minrelations
typelistreturntype
constant getWitnessSet
typereturntype
constant get_hom_var_group_str
typeintreturntype
constant get_declare_function_str
typeidealreturntype
constant remove_brackets
typestringreturntype
constant get_function_str
typeidealreturntype
constant get_coef_bound_poly
typepolyreturntype
constant get_coef_bound_ideal
typeidealreturntype
constant get_prec_in_bits
typeintreturntype
constant writeBertiniInput
typeint(idealreturntype)
constant find_string
typestring(stringreturntype)
constant read_point
typeint(int(stringreturntype))
constant string2num
typestringreturntype
constant string2e
typestringreturntype
constant dismantle_string
typestringreturntype
constant convert_p
typelistreturntype
constant getP_plus_posis
typeintreturntype
constant getPi_from_main_data
typeintvec(intvec(intreturntype))
constant get_relations_as_bigintmats
typebigint(int(listreturntype))
constant get_relations_radical_as_bigintmats
typebigint(int(listreturntype))
constant check_is_zero
typeint(intvec(intvec(ideal(intreturntype))))
constant get_relations_over_rationals
typeint(intvec(intvec(list(int(intreturntype)))))
constant getP_from_known_posis
typeintvec(intvecreturntype)
constant check_is_zero_lincomradical
typelist(ideal(intreturntype))
constant get_relations_lincomradical_over_rationals
typeintvec(intvec(list(int(intreturntype))))
constant num_prime_decom
typeint(int(idealreturntype))
constant num_prime_decom1
typebigint(int(listreturntype))
constant num_radical_via_decom
typeint(int(idealreturntype))
constant num_radical_via_randlincom
typeint(int(idealreturntype))
constant num_radical1
typebigint(int(listreturntype))
constant num_radical2
typebigint(int(listreturntype))
constant project_p
typeintvec(listreturntype)
constant project_P
typeintvec(listreturntype)
constant get_projection_intvec
typeintvecreturntype
constant get_elvec
typepolyreturntype
constant num_elim
typeint(int(poly(idealreturntype)))
constant num_elim1
typeintvec(bigint(int(listreturntype)))
constant eucl
typevector(intreturntype)
constant red
typemodule(module(intreturntype))
constant initBBsU
typematrixreturntype
constant mymax
typeint(intreturntype)
constant realLLL
typematrixreturntype