a field-theory motivated approach to computer algebra


Indicates that an object takes integer values.
Indicates that the object takes values in the integers. An optional range can be specified,
p::Integer; m::Integer(1..10); n::Integer(1..d-p);
\(\displaystyle{}\text{Attached property Integer to }p.\)
\(\displaystyle{}\text{Attached property Integer to }m.\)
\(\displaystyle{}\text{Attached property Integer to }n.\)
This property is often used in combination with the Indices property to indicate the range of numbers over which indices run.
Copyright © 2001-2024 Kasper Peeters