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.
Wrong side of trap. Problem number one is that the drain is connected to the sewer side of the trap. The water that always sits in the bottom of the P-trap is what prevents sewer gases from coming in to the house. The dishwasher drain must be connected before the P-trap, not after it, which is what was done here.