isSubset(CoincidentRootLocus,CoincidentRootLocus) -- whether one object is a subset of another

Synopsis

• Function: isSubset

• Usage:

  isSubset(X,Y)

• Inputs:
  • X, an instance of the type CoincidentRootLocus, associated with a partition $\lambda$
  • Y, an instance of the type CoincidentRootLocus, associated with a partition $\mu$
• Outputs:
  • a Boolean value, whether $X$ is contained in $Y$, i.e., whether the partition $\mu$ is a refinement of the partition $\lambda$

Description

i1 : X = coincidentRootLocus {6,4}

o1 = CRL(6,4)

o1 : CoincidentRootLocus

i2 : Y = coincidentRootLocus {5,2,2,1}

o2 = CRL(5,2,2,1)

o2 : CoincidentRootLocus

i3 : isSubset(X,Y)

o3 = true

i4 : X' = coincidentRootLocus {6,3,1}

o4 = CRL(6,3,1)

o4 : CoincidentRootLocus

i5 : isSubset(X',Y)

o5 = false

See also

• subsets(CoincidentRootLocus) -- produce all the subloci
• supsets(CoincidentRootLocus) -- produce all the suploci