Make CAD code from Axiom working in Fricas