CoCoALib-0.9905 date: 23 May 2007


TmpGOperations.H

Go to the documentation of this file.
00001 #ifndef CoCoA_GOperations_H
00002 #define CoCoA_GOperations_H
00003 
00004 //   Copyright (c)  2005  Massimo Caboara
00005 
00006 //   This file is part of the source of CoCoALib, the CoCoA Library.
00007 
00008 //   CoCoALib is free software; you can redistribute it and/or modify
00009 //   it under the terms of the GNU General Public License (version 2)
00010 //   as published by the Free Software Foundation.  A copy of the full
00011 //   licence may be found in the file COPYING in this directory.
00012 
00013 //   CoCoALib is distributed in the hope that it will be useful,
00014 //   but WITHOUT ANY WARRANTY; without even the implied warranty of
00015 //   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00016 //   GNU General Public License for more details.
00017 
00018 //   You should have received a copy of the GNU General Public License
00019 //   along with CoCoA; if not, write to the Free Software
00020 //   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
00021 
00022 #include "CoCoA/TmpGTypes.H"
00023 
00024 //#include <vector>
00025 // using vector;
00026 
00027 // Operations depending on Groebner Bases
00028 
00029 
00030 namespace CoCoA
00031 {
00032 
00033   class ConstRefPPMonoidElem; // forward declaration -- defined in PPMonoid.H
00034   class ConstRefRingElem;     // forward declaration -- defined in ring.H
00035   class ModuleElem;           // forward declaration -- defined in PPMonoid.H
00036   class RingElem;             // forward declaration -- defined in ring.H
00037 
00038 void ComputeGBasis(PolyList&,const PolyList&);
00039 void ComputeGBasis(VectorList&,const VectorList&);
00040 void ComputeGBasisFrameWork(PolyList&, const PolyList&);
00041 
00042 // The second argument is the list of indexes of the
00043 // indeterminates that will be eliminated
00044 void ComputeElim(VectorList&,const VectorList&,ConstRefPPMonoidElem);///< Not yet implemented
00045 void ComputeElim(PolyList&,const PolyList&,ConstRefPPMonoidElem);
00046 
00047 void ComputeSyz(VectorList&,const VectorList&);
00048 void ComputeSyz(VectorList&,const PolyList&);
00049 
00050 void ComputeIntersection(VectorList&,const VectorList&,const VectorList&);
00051 void ComputeIntersection(PolyList&,const PolyList&,const PolyList&);
00052 
00053 void ComputeColon(PolyList&,const VectorList&,const VectorList&);
00054 void ComputeColon(PolyList&,const PolyList&,const PolyList& );
00055 void ComputeColon(VectorList&,const VectorList&,const PolyList&);
00056 
00057 void ComputeCColon(PolyList&,const VectorList&,const VectorList&);
00058 void ComputeCColon(PolyList&,const PolyList&,const PolyList& );
00059 void ComputeCColon(VectorList&,const VectorList&,const PolyList&);
00060 
00061 void ComputeSaturation(VectorList&,const VectorList&,const PolyList&);
00062 void ComputeSaturation(PolyList&,const PolyList& ,const PolyList&);
00063 
00064 void ComputeSSaturation(PolyList&,const PolyList&,const PolyList&);
00065 void ComputeSSaturation(VectorList&,const VectorList&,const PolyList&);
00066 
00067 void ComputeHomogenization(VectorList&,const VectorList&,const PolyList&);///< Not yet implemented
00068 void ComputeHomogenization(PolyList&,const PolyList&,const PolyList&);///< Not yet implemented
00069 
00070 bool RadicalMembership(const PolyList&,ConstRefRingElem);
00071 
00072 void ComputeLT(VectorList&,const VectorList&);///< Not yet implemented
00073 void ComputeLT(PolyList&,const PolyList&);
00074 
00075 bool operator==(const PolyList&, const PolyList&);
00076 
00077 }// end namespace cocoa
00078 
00079 
00080 // $Header: /Volumes/Home/cocoa/cvs-repository/CoCoALib-0.99/include/CoCoA/TmpGOperations.H,v 1.1 2007/03/09 18:56:56 bigatti Exp $
00081 // $Log: TmpGOperations.H,v $
00082 // Revision 1.1  2007/03/09 18:56:56  bigatti
00083 // -- added Tmp prefix to Groebner related files
00084 //
00085 // Revision 1.1.1.1  2007/03/09 15:16:11  abbott
00086 // Imported files
00087 //
00088 // Revision 1.10  2007/03/08 18:42:06  cocoa
00089 // Cleaned up whitespace.
00090 //
00091 // Revision 1.9  2007/03/07 22:24:03  bigatti
00092 // -- reintroduced TmpGTypes.H (waiting for a better solution)
00093 //
00094 // Revision 1.8  2007/03/07 17:04:31  cocoa
00095 // -- several changes by M.Caboara: more operations on ideals,
00096 //    exception cleaner, coding conventions, WSugar, dynamic
00097 //
00098 // Revision 1.7  2006/12/21 13:48:33  cocoa
00099 // Made all increment/decrement calls prefix (except where the must be postfix).
00100 //
00101 // Revision 1.6  2006/12/06 17:11:16  cocoa
00102 // -- removed #include "config.H"
00103 //
00104 // Revision 1.5  2006/11/24 17:17:58  cocoa
00105 // -- reorganized includes of header files
00106 //
00107 // Revision 1.4  2006/11/09 17:37:50  cocoa
00108 // -- just some doxygen comments
00109 //
00110 // Revision 1.3  2006/10/06 16:46:17  cocoa
00111 // -- syzygies for non-homogenous polynomials (Max)
00112 // -- wip: evolution of Groebner Framework (Max)
00113 //
00114 // Revision 1.2  2006/10/06 14:04:16  cocoa
00115 // Corrected position of #ifndef in header files.
00116 // Separated CoCoA_ASSERT into assert.H from config.H;
00117 // many minor consequential changes (have to #include assert.H).
00118 // A little tidying of #include directives (esp. in Max's code).
00119 //
00120 // Revision 1.1.1.1  2006/05/30 11:39:36  cocoa
00121 // Imported files
00122 //
00123 // Revision 1.11  2006/05/16 08:59:16  cocoa
00124 // -- added function for interactive Groebner
00125 //
00126 // Revision 1.10  2006/05/11 16:00:22  cocoa
00127 // -- fixed spelling of "homogenize"
00128 //
00129 // Revision 1.9  2006/04/27 14:01:11  cocoa
00130 // -- tidied up include files (using GTypes.H)
00131 //
00132 // Revision 1.8  2006/04/21 16:47:06  cocoa
00133 // -- new syntax for ComputeGBasis by Max
00134 //
00135 // Revision 1.7  2006/04/11 16:22:40  cocoa
00136 // -- added: Elim, LT
00137 //
00138 
00139 #endif

Generated on Wed May 23 13:43:36 2007 for CoCoALib by  doxygen 1.4.6