PointCategory RΒΆ

newpoint.spad line 1

PointCategory is the category of points in space which may be plotted via the graphics facilities. Functions are provided for defining points and handling elements of points.

*: (%, R) -> %
from VectorCategory R
*: (Integer, %) -> %
from VectorCategory R
*: (R, %) -> %
from VectorCategory R
+: (%, %) -> %
from VectorCategory R
-: % -> %
from VectorCategory R
-: (%, %) -> %
from VectorCategory R
<: (%, %) -> Boolean if R has OrderedSet
from PartialOrder
<=: (%, %) -> Boolean if R has OrderedSet
from PartialOrder
=: (%, %) -> Boolean
from BasicType
>: (%, %) -> Boolean if R has OrderedSet
from PartialOrder
>=: (%, %) -> Boolean if R has OrderedSet
from PartialOrder
~=: (%, %) -> Boolean
from BasicType
coerce: % -> OutputForm
from CoercibleTo OutputForm
concat: (%, %) -> %
from LinearAggregate R
concat: (%, R) -> %
from LinearAggregate R
concat: (R, %) -> %
from LinearAggregate R
concat: List % -> %
from LinearAggregate R
construct: List R -> %
from Collection R
convert: % -> InputForm if R has ConvertibleTo InputForm
from ConvertibleTo InputForm
convert: List R -> %
convert(l) takes a list of elements, l, from the domain Ring and returns the form of point category.
copy: % -> %
from Aggregate
count: (R, %) -> NonNegativeInteger
from HomogeneousAggregate R
cross: (%, %) -> %
cross(p, q) computes the cross product of the two points p and q. Error if the p and q are not 3 dimensional
delete: (%, Integer) -> %
from LinearAggregate R
delete: (%, UniversalSegment Integer) -> %
from LinearAggregate R
dimension: % -> PositiveInteger
dimension(s) returns the dimension of the point category s.
dot: (%, %) -> R
from VectorCategory R
elt: (%, Integer) -> R
from Eltable(Integer, R)
elt: (%, Integer, R) -> R
from EltableAggregate(Integer, R)
elt: (%, UniversalSegment Integer) -> %
from Eltable(UniversalSegment Integer, %)
empty: () -> %
from Aggregate
empty?: % -> Boolean
from Aggregate
entries: % -> List R
from IndexedAggregate(Integer, R)
entry?: (R, %) -> Boolean
from IndexedAggregate(Integer, R)
eq?: (%, %) -> Boolean
from Aggregate
eval: (%, Equation R) -> % if R has Evalable R
from Evalable R
eval: (%, List Equation R) -> % if R has Evalable R
from Evalable R
eval: (%, List R, List R) -> % if R has Evalable R
from InnerEvalable(R, R)
eval: (%, R, R) -> % if R has Evalable R
from InnerEvalable(R, R)
extend: (%, List R) -> %
extend(x, l, r) undocumented
find: (R -> Boolean, %) -> Union(R, failed)
from Collection R
first: % -> R
from IndexedAggregate(Integer, R)
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
index?: (Integer, %) -> Boolean
from IndexedAggregate(Integer, R)
indices: % -> List Integer
from IndexedAggregate(Integer, R)
insert: (%, %, Integer) -> %
from LinearAggregate R
insert: (R, %, Integer) -> %
from LinearAggregate R
latex: % -> String
from SetCategory
leftTrim: (%, R) -> %
from LinearAggregate R
length: % -> R if R has RadicalCategory
from VectorCategory R
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
map: ((R, R) -> R, %, %) -> %
from LinearAggregate R
map: (R -> R, %) -> %
from HomogeneousAggregate R
max: (%, %) -> % if R has OrderedSet
from OrderedSet
maxIndex: % -> Integer
from IndexedAggregate(Integer, R)
member?: (R, %) -> Boolean
from HomogeneousAggregate R
merge: (%, %) -> % if R has OrderedSet
from LinearAggregate R
min: (%, %) -> % if R has OrderedSet
from OrderedSet
minIndex: % -> Integer
from IndexedAggregate(Integer, R)
more?: (%, NonNegativeInteger) -> Boolean
from Aggregate
new: (NonNegativeInteger, R) -> %
from LinearAggregate R
outerProduct: (%, %) -> Matrix R
from VectorCategory R
point: List R -> %
point(l) returns a point category defined by a list l of elements from the domain R.
position: (R, %) -> Integer
from LinearAggregate R
position: (R, %, Integer) -> Integer
from LinearAggregate R
qelt: (%, Integer) -> R
from EltableAggregate(Integer, R)
reduce: ((R, R) -> R, %, R, R) -> R
from Collection R
remove: (R, %) -> %
from Collection R
removeDuplicates: % -> %
from Collection R
rightTrim: (%, R) -> %
from LinearAggregate R
sample: %
from Aggregate
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
smaller?: (%, %) -> Boolean if R has Comparable
from Comparable
sort!: % -> % if R has OrderedSet
from LinearAggregate R
sort: % -> % if R has OrderedSet
from LinearAggregate R
sorted?: % -> Boolean if R has OrderedSet
from LinearAggregate R
trim: (%, R) -> %
from LinearAggregate R
zero: NonNegativeInteger -> %
from VectorCategory R
zero?: % -> Boolean
from VectorCategory R

Aggregate

BasicType

CoercibleTo OutputForm

Collection R

Comparable if R has Comparable

ConvertibleTo InputForm if R has ConvertibleTo InputForm

Eltable(Integer, R)

Eltable(UniversalSegment Integer, %)

EltableAggregate(Integer, R)

Evalable R if R has Evalable R

finiteAggregate

FiniteLinearAggregate R

HomogeneousAggregate R

IndexedAggregate(Integer, R)

InnerEvalable(R, R) if R has Evalable R

LinearAggregate R

OneDimensionalArrayAggregate R

OrderedSet if R has OrderedSet

PartialOrder if R has OrderedSet

SetCategory

shallowlyMutable

VectorCategory R