OKlibrary  0.2.1.6
InvertibleElements.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 14.1.2009 (Swansea) */
00002 /* Copyright 2009, 2012 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/Algebra/Lisp/Groupoids/InvertibleElements.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Algebra/Lisp/Groupoids/tests/InvertibleElements.mac")$
00023 
00024 /* **********
00025    * Basics *
00026    **********
00027 */
00028 
00029 okltest_leftinvertible_el_ugrd(leftinvertible_el_ugrd);
00030 okltest_rightinvertible_el_ugrd(rightinvertible_el_ugrd);
00031 okltest_invertible_el_ugrd(invertible_el_ugrd);
00032 
00033 okltest_leftinversion_ugrd(leftinversion_ugrd);
00034 okltest_rightinversion_ugrd(rightinversion_ugrd);
00035 okltest_inversion_ugrd(inversion_ugrd);
00036 
00037 /* ***************
00038    * Involutions *
00039    ***************
00040 */
00041 
00042 okltest_involutions_ugrd(involutions_ugrd);
00043