733⟨* 13⟩+≡   ⊲728  743 ⊳
-------------------------------------------------------------------
----
---- Combinat
---- Copyright (C) Ralf Hemmecke <ralf@hemmecke.de>
---- svn co svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/
----
-------------------------------------------------------------------

#assert DontNeedLibraryTestCases
#include "testcases"

TestBasicPolynomialFunctions: TestCaseType with {
#include "istruc.signatures.as"
} == add {
        import from TestCaseTools;
        macro {
                X == SparseAdditiveArray(Z, I);
                P == SparseFiniteMonoidRing(Z, I);
        }
        import from Z, I, X, P;
        ⟨test zero 734a⟩
        ⟨test compare 735a⟩
        ⟨test construct/decompose 736b⟩
        ⟨test one 742a⟩
        ⟨test times 742b⟩
}

Defines:
TestBasicPolynomialFunctions, never used.

Uses I 47, SparseAdditiveArray 489, SparseFiniteMonoidRing 501, and Z 47.