/usr/share/axiom-20170501/src/algebra/PARPCURV.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 | )abbrev domain PARPCURV ParametricPlaneCurve
++ Author: Clifton J. Williamson
++ Date Created: 24 May 1990
++ Date Last Updated: 24 May 1990
++ Description:
++ ParametricPlaneCurve is used for plotting parametric plane
++ curves in the affine plane.
ParametricPlaneCurve(ComponentFunction) : SIG == CODE where
ComponentFunction : Type
NNI ==> NonNegativeInteger
SIG ==> with
curve : (ComponentFunction,ComponentFunction) -> %
++ curve(c1,c2) creates a plane curve from 2 component functions
++ \spad{c1} and \spad{c2}.
coordinate : (%,NNI) -> ComponentFunction
++ coordinate(c,i) returns a coordinate function for c using 1-based
++ indexing according to i. This indicates what the function for the
++ coordinate component i of the plane curve is.
CODE ==> add
Rep := Record(xCoord:ComponentFunction,yCoord:ComponentFunction)
curve(x,y) == [x,y]
coordinate(c,n) ==
n = 1 => c.xCoord
n = 2 => c.yCoord
error "coordinate: index out of bounds"
|