The zero operator

The zero operator maps any function to the zero function (which maps anything to zero). To test for being zero, use spray::is.zero(); package idiom would be is.zero().

Usage

zero(d)

Arguments

d

Integer specifying dimensionality of the weyl object (twice the spray arity)

Value

A weyl object corresponding to the zero operator (or a Boolean for is.zero())

Examples

(a <- rweyl(d=5))
#> A member of the Weyl algebra:
#> +3*x2*x4*d1^2*d2^2*d4^2 +2*x1^2*x2*x3^2*x4^2*x5*d2*d3*d4*d5^2
#> +x1*x2^2*x3^2*x4^2*x5^2*d1^2*d2*d4^2
is.zero(a)
#> [1] FALSE
is.zero(a-a)
#> [1] TRUE
is.zero(a*0)
#> [1] TRUE

a == a + zero(dim(a))
#> [1] TRUE