added a check that expand(x^((a+b)^2-a^2-b^2-2*a*b)) -> 1
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 29 Jan 2001 21:43:45 +0000 (21:43 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 29 Jan 2001 21:43:45 +0000 (21:43 +0000)
commitfcc1f605535081bfcee74dc1a154839e10b807ef
tree88c90f2ddb7b36ce476827e5c418abbc73ee0683
parent5fd76b00944f1dbb239b3c1baf69b016b46c1888
added a check that expand(x^((a+b)^2-a^2-b^2-2*a*b)) -> 1
check/exam_misc.cpp