constant getposi
constant string2digit
constant string2poly
constant roundstringpoly
constant roundpoly
constant substAll
constant veronese
constant veronese_radical
constant randlincom
constant getmatrix
constant getpolys
constant getD
constant mat2list
constant list2bigintmat
constant bigint2poly
constant bigintmat2matrix
constant use_LLL
constant use_LLL_bigintmat
constant use_FLINT_LLL
constant use_NTL_LLL
constant getRelations
constant getRelationsRadical
constant find_unused_nonzero
constant gaussRowWithoutPerm
constant gaussColWithoutPerm
constant multwithmaxideal
constant prodofallringvars
constant getcoefmat
constant getconcatcoefmats
constant string2intdigit
constant string2bigint
constant mat2bigintmat
constant findnonzero
constant superfluousL
constant minrelations
constant getWitnessSet
constant get_hom_var_group_str
constant get_declare_function_str
constant remove_brackets
constant get_function_str
constant get_coef_bound_poly
constant get_coef_bound_ideal
constant get_prec_in_bits
constant writeBertiniInput
constant find_string
constant read_point
constant string2num
constant string2e
constant dismantle_string
constant convert_p
constant getP_plus_posis
constant getPi_from_main_data
constant get_relations_as_bigintmats
constant get_relations_radical_as_bigintmats
constant check_is_zero
constant get_relations_over_rationals
constant getP_from_known_posis
constant check_is_zero_lincomradical
constant get_relations_lincomradical_over_rationals
constant num_prime_decom
constant num_prime_decom1
constant num_radical_via_decom
constant num_radical_via_randlincom
constant num_radical1
constant num_radical2
constant project_p
constant project_P
constant get_projection_intvec
constant get_elvec
constant num_elim
constant num_elim1
constant eucl
constant red
constant initBBsU
constant mymax
constant realLLL