clean up wiki/axiom
describe bugs in fricas