contains(arg1::{vec, line, CONE}, C::CONE)::boolean
contains(arg1::{affhspace, affhplane, POLYHEDRON}, arg2::{POLYHEDRON, vec})::boolean
Test for containment. See CONE[contains] and POLYHEDRON[contains].
dotprod(v1:vec, v2:vec)::rational
The scalar product of v1 and v2. Both vectors must lie in the same ambient space.
This function is implemented in order to avoid loading an additional Maple package just for this function.