freegroup (version 1.1-6)

identity: The identity element

Description

Create and test for the identity element

Usage

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

Arguments

x

Object of class free

n

Strictly positive integer

Author

Robin K. S. Hankin

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).

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)))