JGAP/Namespaces