ProductFacet

alg_top.spad line 802 [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

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

~= : (%, %) -> Boolean

from BasicType

FacetCategory

CoercibleTo(OutputForm)

Comparable

OrderedSet

SetCategory

BasicType

PartialOrder