ProductFacetΒΆ

alg_top.spad line 800 [edit on github]

Holds the product of two simplexes for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/topology/simplex/product/ Date Created: April 2016 Basic Operations: Related packages: Related categories: FacetCategory Related Domains: Also See: AMS Classifications:

<=: (%, %) -> Boolean

from PartialOrder

<: (%, %) -> Boolean

from PartialOrder

=: (%, %) -> Boolean

from BasicType

>=: (%, %) -> Boolean

from PartialOrder

>: (%, %) -> Boolean

from PartialOrder

~=: (%, %) -> Boolean

from BasicType

addVertex2: (%, Record(left: NonNegativeInteger, right: NonNegativeInteger)) -> %

used by cone. Adds a vertex to face.

coerce: % -> OutputForm

from CoercibleTo OutputForm

empty?: % -> Boolean

from FacetCategory

getIndexs: % -> List Record(left: NonNegativeInteger, right: NonNegativeInteger)

returns left indexes

getMaxLeft: % -> NonNegativeInteger

returns maximum left index

getMaxRight: % -> NonNegativeInteger

returns maximum right index

getMult: % -> Integer

from FacetCategory

latex: % -> String

from SetCategory

max: (%, %) -> %

from OrderedSet

min: (%, %) -> %

from OrderedSet

order: % -> NonNegativeInteger

from FacetCategory

productFacet: (Integer, List Record(left: NonNegativeInteger, right: NonNegativeInteger)) -> %

Constructor for product facet

productFacet: (Integer, ProductFacet) -> %

Copy constructor to allow change of sign

setMult!: (%, Integer) -> %

sets multiplier of face

smaller?: (%, %) -> Boolean

from Comparable

BasicType

CoercibleTo OutputForm

Comparable

FacetCategory

OrderedSet

PartialOrder

SetCategory