Earlier this year I implemented the arithmetic of ℚ[φ] in Ruby, to illustrate how something like this would work for my students: http://bit.ly/1gSQdpC
Obviously the Haskell implementation more directly expresses the idea! I found it easier to implement ℚ[φ] than ℚ[√5], even though the two are isomorphic as fields.
Obviously the Haskell implementation more directly expresses the idea! I found it easier to implement ℚ[φ] than ℚ[√5], even though the two are isomorphic as fields.