Set of Exponentiations

ExponentSet class for symbolic exponentiation of mathematical sets.

Details

The purpose of this class is to provide a symbolic representation for the exponentiation of sets that cannot be represented in a simpler class. Whilst this is not an abstract class, it is not recommended to construct this class directly but via the set operation methods.

See also

Set operations: setunion, setproduct, setpower, setcomplement, setsymdiff, powerset, setintersect

Other wrappers: ComplementSet, PowersetSet, ProductSet, UnionSet

Super classes

set6::Set -> set6::SetWrapper -> set6::ProductSet -> ExponentSet

Active bindings

power

Returns the power that the wrapped set is raised to.

Methods

Public methods

• ExponentSet$new()

• ExponentSet$strprint()

• ExponentSet$contains()

• ExponentSet$clone()

Inherited methods

• set6::Set$add()

• set6::Set$multiplicity()

• set6::Set$print()

• set6::Set$remove()

• set6::Set$summary()

• set6::SetWrapper$equals()

• set6::SetWrapper$isSubset()

---

Method new()

Create a new ExponentSet object. It is not recommended to construct this class directly.

Usage

ExponentSet$new(set, power)

Arguments

set

Set to wrap.

power

numeric. Power to raise Set to.

Returns

A new ExponentSet object.

---

Method strprint()

Creates a printable representation of the object.

Usage

ExponentSet$strprint(n = 2)

Arguments

n

numeric. Number of elements to display on either side of ellipsis when printing.

Returns

A character string representing the object.

---

Method contains()

Tests if elements x are contained in self.

Usage

ExponentSet$contains(x, all = FALSE, bound = FALSE)

Arguments

x

Set or vector of Sets.

all

logical. If FALSE tests each x separately. Otherwise returns TRUE only if all x pass test.

bound

logical

Returns

If all == TRUE then returns TRUE if all x are contained in self, otherwise FALSE. If all == FALSE returns a vector of logicals corresponding to the length of x, representing if each is contained in self. If bound == TRUE then an element is contained in self if it is on or within the (possibly-open) bounds of self, otherwise TRUE only if the element is within self or the bounds are closed.

---

Method clone()

The objects of this class are cloneable with this method.

Usage

ExponentSet$clone(deep = FALSE)

Arguments

deep

Whether to make a deep clone.