identity: The identity element

In freegroup: The Free Group

The identity element

Description

Create and test for the identity element

Usage

is.id(x)
id(n)
## S3 method for class 'free'
is.id(x)

Arguments

x	Object of class free
n	Strictly positive integer

Details

Function id() returns a vector of n free objects, all of which are the identity element. Do not ask what happens if n=0.

Function is.id() returns a Boolean indicating whether an element is the identity or not. The identity can also be generated using as.free(0).

Author(s)

Robin K. S. Hankin

Examples

id()
as.free(0)   # convenient R idiom for creating the identity

x <- rfree(10,3)
stopifnot(all(x == x + as.free(0)))
stopifnot(all(is.id(x-x)))

freegroup documentation built on April 3, 2025, 11:32 p.m.