Capsule
In CORA, capsules are instantiated by
where c is the center, g is the generator, and r is the radius.
Example:
For more information, type
help capsule
capsule - object constructor for capsules
Description:
This class represents capsule objects defined as
C := L + S, L = {c + g*a | a