isRankPreserving -- whether a poset map is rank-preserving

Usage:

isRankPreserving f
Inputs:
- f, a map of posets,
Outputs:
- a Boolean value,

Description

A poset map $f: P\rightarrow Q$ between ranked posets is rank-preserving if and only if, for each $p \in P$, the rank of $p$ is equal to the rank of $f(p)$, assuming both $P$ and $Q$ have a rank $0$ element.

i1 : isRankPreserving map(chain 2, chain 1, {1})

o1 = true

i2 : isRankPreserving map(chain 2, chain 1, {2})

o2 = false

Ways to use isRankPreserving:

isRankPreserving(PosetMap)

For the programmer

The object isRankPreserving is a method function.

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/MacaulayPosets.m2:1624:0.

isRankPreserving -- whether a poset map is rank-preserving

Description

See also

Ways to use isRankPreserving:

For the programmer