Primality Checks
StructuralIdentifiability.check_primality
— Functioncheck_primality(polys::Dict{QQMPolyRingElem, QQMPolyRingElem}, extra_relations::Array{QQMPolyRingElem, 1})
The function checks if the ideal generated by the polynomials and saturated at the leading coefficient with respect to the corresponding variables is prime over rationals.
The extra_relations
allows adding more polynomials to the generators (not affecting the saturation).
check_primality(polys::Dict{QQMPolyRingElem, QQMPolyRingElem})
The function checks if the ideal generated by the polynomials and saturated at the leading coefficient with respect to the corresponding variables is prime over rationals.