compare(ex(0)) -> is_zero()
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 9 Oct 2003 21:07:36 +0000 (21:07 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 9 Oct 2003 21:07:36 +0000 (21:07 +0000)
commit4dba55ca4aecc279411659aa77dbb78137e68a02
treeea86fa053ea0b962a70d6d934780d3af9c19e1e5
parent9cd789be913f4fcd4b615cefa3d46662b3c63a46
compare(ex(0)) -> is_zero()
check/exam_differentiation.cpp