/usr/share/axiom-20170501/src/algebra/PTPACK.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 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 | )abbrev package PTPACK PointPackage
++ Description:
++ This package has no description
PointPackage(R) : SIG == CODE where
R : Ring
POINT ==> Point(R)
I ==> Integer
PI ==> PositiveInteger
NNI ==> NonNegativeInteger
L ==> List
B ==> Boolean
SIG ==> with
xCoord : POINT -> R
++ xCoord(pt) returns the first element of the point, pt,
++ although no assumptions are made as to the coordinate
++ system being used. This function is defined for the
++ convenience of the user dealing with a Cartesian
++ coordinate system.
yCoord : POINT -> R
++ yCoord(pt) returns the second element of the point, pt,
++ although no assumptions are made as to the coordinate
++ system being used. This function is defined for the
++ convenience of the user dealing with a Cartesian
++ coordinate system.
zCoord : POINT -> R
++ zCoord(pt) returns the third element of the point, pt,
++ although no assumptions are made as to the coordinate
++ system being used. This function is defined for the
++ convenience of the user dealing with a Cartesian
++ or a cylindrical coordinate system.
rCoord : POINT -> R
++ rCoord(pt) returns the first element of the point, pt,
++ although no assumptions are made as to the coordinate
++ system being used. This function is defined for the
++ convenience of the user dealing with a spherical
++ or a cylindrical coordinate system.
thetaCoord : POINT -> R
++ thetaCoord(pt) returns the second element of the point, pt,
++ although no assumptions are made as to the coordinate
++ system being used. This function is defined for the
++ convenience of the user dealing with a spherical
++ or a cylindrical coordinate system.
phiCoord : POINT -> R
++ phiCoord(pt) returns the third element of the point, pt,
++ although no assumptions are made as to the coordinate
++ system being used. This function is defined for the
++ convenience of the user dealing with a spherical
++ coordinate system.
color : POINT -> R
++ color(pt) returns the fourth element of the point, pt,
++ although no assumptions are made with regards as to
++ how the components of higher dimensional points are
++ interpreted. This function is defined for the
++ convenience of the user using specifically, color
++ to express a fourth dimension.
hue : POINT -> R
++ hue(pt) returns the third element of the two dimensional point, pt,
++ although no assumptions are made with regards as to how the
++ components of higher dimensional points are interpreted. This
++ function is defined for the convenience of the user using
++ specifically, hue to express a third dimension.
shade : POINT -> R
++ shade(pt) returns the fourth element of the two dimensional
++ point, pt, although no assumptions are made with regards as to
++ how the components of higher dimensional points are interpreted.
++ This function is defined for the convenience of the user using
++ specifically, shade to express a fourth dimension.
CODE ==> add
xCoord p == elt(p,1)
yCoord p == elt(p,2)
zCoord p == elt(p,3)
rCoord p == elt(p,1)
thetaCoord p == elt(p,2)
phiCoord p == elt(p,3)
color p ==
#p > 3 => p.4
p.3
hue p == elt(p,3)
-- 4D points in 2D using extra dimensions for palette information
shade p == elt(p,4)
-- 4D points in 2D using extra dimensions for palette information
|