Axiom is  a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler.
Polybutylene is simply a type of plumbing material that was manufactured between the late 70's and early 90's. It is thought that it was installed in over 6 million homes during that time period.
The most effective way of identifying polybutylene pipe is to have your plumbing inspected by a licensed professional. While inspectors generally cannot determine if there is deterioration in poly piping, licensed plumbers can confirm if you have poly piping installed in your home.