a field-theory motivated approach to computer algebra