/usr/share/axiom-20170501/src/algebra/VSPACE.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 | )abbrev category VSPACE VectorSpace
++ Description:
++ Vector Spaces (not necessarily finite dimensional) over a field.
VectorSpace(S) : Category == SIG where
S : Field
SIG ==> Module(S) with
"/" : (%, S) -> %
++ x/y divides the vector x by the scalar y.
dimension : () -> CardinalNumber
++ dimension() returns the dimensionality of the vector space.
add
(v:% / s:S):% == inv(s) * v
|