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.
ANSWER: A PVB is a mechanical backflow preventer that consists of an independently acting, spring-loaded check valve and an independently acting, spring-loaded, air inlet valve on the discharge side of the check valve. It includes shutoff valves at each end of the assembly and is eqipped with test cocks.