equal
deleted
inserted
replaced
2 Author : Jacques D. Fleuriot |
2 Author : Jacques D. Fleuriot |
3 Copyright : 2001,2002 University of Edinburgh |
3 Copyright : 2001,2002 University of Edinburgh |
4 Description : Infinite, infinitesimal complex number etc! |
4 Description : Infinite, infinitesimal complex number etc! |
5 *) |
5 *) |
6 |
6 |
7 NSCA = NSComplexArith0 + |
7 NSCA = NSComplexArith + |
8 |
8 |
9 consts |
9 consts |
10 |
10 |
11 (* infinitely close *) |
11 (* infinitely close *) |
12 "@c=" :: [hcomplex,hcomplex] => bool (infixl 50) |
12 "@c=" :: [hcomplex,hcomplex] => bool (infixl 50) |