singular ecl maxima gfan fricas msolve topcom qepcad frobby macaulay2 kenzo gap3
