Algebraic Moving Frame
Based on [HK06] the short
procedure amf (included) allows
you to compute a generating set of rational invariants
and rewrite any invariants in terms of them.
The procedure is illustrated
on some simple or classical problems.
As shown in [HK07] it provides an
algorithmic solution to computing the Cartan's
Differential Moving Frame.
The package provides tools to investigate the structure of
the differential algebra of differential invariants:
invariant derivations and their
commutation rules, generationg set of differential
invariants and their differential syzygies.
The code is based on [HK08] and
Examples include: Euclidean action on space curves and surfaces,
retrieving there the Codazzi equation, equi-affine action on