polynomial4: STS Unavailable

polynomial4 defines the following Names, but STS signatures are not currently available.

• factorise
• factorisations
• factors
• factor
• multiplicity
• factorisations_complete
• factorisations_incomplete
• definitely_irreducible
• possibly_reducible
• ground_ring_injected
• divide
• quotient_remainder
• quotient
• remainder