/usr/share/axiom-20170501/src/algebra/SNTSCAT.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | )abbrev category SNTSCAT SquareFreeNormalizedTriangularSetCategory
++ Author: Marc Moreno Maza
++ Date Created: 10/07/1998
++ Date Last Updated: 12/16/1998
++ References :
++ Laza91 A new method for solving algebraic systems of positive dimension
++ Description:
++ The category of square-free and normalized triangular sets.
++ Thus, up to the primitivity axiom of [1], these sets are Lazard
++ triangular sets.
SquareFreeNormalizedTriangularSetCategory(R,E,V,P) : Category == SIG where
R : GcdDomain
E : OrderedAbelianMonoidSup
V : OrderedSet
P : RecursivePolynomialCategory(R,E,V)
SFRTS ==> SquareFreeRegularTriangularSetCategory(R,E,V,P)
NTSC ==> NormalizedTriangularSetCategory(R,E,V,P)
SIG ==> Join(SFRTS,NTSC)
|