Hi Bjarke,
If I understand your goal, this could be a typical use case of generic
category testing. Whenever you have a monoid M and you run:
sage: TestSuite(M).run()
the associativity of M is tested (by M._test_associativity()). We do
not yet have a PolynomialRings category,
Hi Bjarke!
On 28 Feb., 17:18, Bjarke Hammersholt Roune bjarke.ro...@gmail.com
wrote:
Is it possible to write a test that runs over all polynomial ring over
a field in Sage? This is as opposed to a test that works in a specific
ring that the test constructs. Obviously there are infinitely many
Primarily what I'm wondering is if there is already a good way to do
this, since I'm not volunteering to implement it if there isn't.
Still, I don't suppose it hurts to mention what I would like. For
polynomial rings, it would be a function along the lines of
makeSomeRing(predicate)
where