Operators and functions for simple types

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.