To be fair, "sundry tools poorly glued together" describes CAS and symbolic computation software in general, including Maple or Mathematica. It's surprisingly difficult to put a proper formal foundation (guaranteeing the absence of "wrong" or even outright meaningless results) even on very basic symbolic manipulations.