OKlibrary  0.2.1.6
SurrealNumbers.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 1.6.2011 (Swansea) */
00002 /* Copyright 2011 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00021 oklib_include("OKlib/ComputerAlgebra/NumberTheory/Lisp/SurrealNumbers.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/NumberTheory/Lisp/tests/SurrealNumbers.mac")$
00023 
00024 /* ******************************************
00025    * The basic notion of a "surreal number" *
00026    ******************************************
00027 */
00028 
00029 okltest_surnum_p(surnum_p);
00030 
00031 okltest_surnum_lep(surnum_lep);
00032 okltest_surnum_ltp(surnum_ltp);
00033 
00034 okltest_epoche_surnum(epoche_surnum);
00035 
00036 okltest_surnum_equalp(surnum_equalp);
00037 
00038 okltest_eqc_epoche_surnum(eqc_epoche_surnum);
00039 
00040 /* ***************************
00041    * Arithmetical operations *
00042    ***************************
00043 */
00044 
00045 okltest_surnum_add(surnum_add);
00046 
00047 okltest_surnum_neg1(surnum_neg1);
00048 okltest_surnum_neg2(surnum_neg2);
00049 
00050 okltest_surnum_prod(surnum_prod);
00051 
00052 /* ***************
00053    * Conversions *
00054    ***************
00055 */
00056 
00057 okltest_nat2surnum(nat2surnum);
00058 okltest_nnat2surnum(nnat2surnum);
00059 okltest_int2surnum(int2surnum);
00060