/usr/share/axiom-20140801/src/algebra/ is in axiom-source 20140801-12.
This file is owned by root:root, with mode 0o755.