CoCoALib-0.9905 date: 23 May 2007


PPMonoidOv.H

Go to the documentation of this file.
00001 #ifndef CoCoA_PPMonoidOv_H
00002 #define CoCoA_PPMonoidOv_H
00003 
00004 //   Copyright (c)  2005,2007  John Abbott
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 
00023 #include <vector>
00024 // using vector;
00025 
00026 namespace CoCoA
00027 {
00028 
00029   class symbol;     // forward declaration -- defined in symbol.H
00030   class PPMonoid;   // forward declaration -- defined in PPMonoid.H
00031   class PPOrdering; // forward declaration -- defined in PPOrdering.H
00032 
00033   // Pseudo-ctor
00034   PPMonoid NewPPMonoidOv(const std::vector<symbol>& IndetNames, const PPOrdering& ord);
00035 
00036 } // end of namespace CoCoA
00037 
00038 //----------------------------------------------------------------------
00039 // RCS header/log in the next few lines
00040 // $Header: /Volumes/Home/cocoa/cvs-repository/CoCoALib-0.99/include/CoCoA/PPMonoidOv.H,v 1.1.1.1 2007/03/09 15:16:11 abbott Exp $
00041 // $Log: PPMonoidOv.H,v $
00042 // Revision 1.1.1.1  2007/03/09 15:16:11  abbott
00043 // Imported files
00044 //
00045 // Revision 1.5  2007/03/08 17:43:11  cocoa
00046 // Swapped order of args to the NewPPMonoid pseudo ctors.
00047 //
00048 // Revision 1.4  2006/11/27 13:41:32  cocoa
00049 // -- added #include <cstddef> //using std::size_t
00050 // -- removed #include "config.H"
00051 //
00052 // Revision 1.3  2006/11/24 17:31:41  cocoa
00053 // -- reorganized includes of header files
00054 //
00055 // Revision 1.2  2006/10/06 14:04:15  cocoa
00056 // Corrected position of #ifndef in header files.
00057 // Separated CoCoA_ASSERT into assert.H from config.H;
00058 // many minor consequential changes (have to #include assert.H).
00059 // A little tidying of #include directives (esp. in Max's code).
00060 //
00061 // Revision 1.1.1.1  2006/05/30 11:39:37  cocoa
00062 // Imported files
00063 //
00064 // Revision 1.5  2006/03/14 17:21:18  cocoa
00065 // Moved concrete PPMonoid impls entirely into their respective .C files.
00066 // Now the corresponding .H files are very compact.
00067 //
00068 // Revision 1.4  2006/03/12 21:28:34  cocoa
00069 // Major check in after many changes
00070 //
00071 // Revision 1.3  2006/02/20 22:41:20  cocoa
00072 // All forms of the log function for power products now return SmallExponent_t
00073 // (instead of int).  exponents now resizes the vector rather than requiring
00074 // the user to pass in the correct size.
00075 //
00076 // Revision 1.2  2006/01/17 10:23:08  cocoa
00077 // Updated DivMask; many consequential changes.
00078 // A few other minor fixes.
00079 //
00080 // Revision 1.1.1.1  2005/10/17 10:46:54  cocoa
00081 // Imported files
00082 //
00083 // Revision 1.7  2005/10/11 16:37:31  cocoa
00084 // Added new small prime finite field class (see RingFpDouble).
00085 //
00086 // Cleaned makefiles and configuration script.
00087 //
00088 // Tidied PPMonoid code (to eliminate compiler warnings).
00089 //
00090 // Fixed bug in RingFloat::myIsInteger.
00091 //
00092 // Revision 1.6  2005/08/08 16:36:33  cocoa
00093 // Just checking in before going on holiday.
00094 // Don't really recall what changes have been made.
00095 // Added IsIndet function for RingElem, PPMonoidElem,
00096 // and a member function of OrdvArith.
00097 // Improved the way failed assertions are handled.
00098 //
00099 // Revision 1.5  2005/07/19 15:30:20  cocoa
00100 // A first attempt at iterators over sparse polynomials.
00101 // Main additions are to SparsePolyRing, DistrMPoly*.
00102 // Some consequential changes to PPMonoid*.
00103 //
00104 // Revision 1.4  2005/07/08 15:09:29  cocoa
00105 // Added new symbol class (to represent names of indets).
00106 // Integrated the new class into concrete polynomial rings
00107 // and PPMonoid -- many consequential changes.
00108 // Change ctors for the "inline" sparse poly rings: they no
00109 // longer expect a PPMonoid, but build their own instead
00110 // (has to be a PPMonoidOv).
00111 //
00112 // Revision 1.3  2005/07/01 16:08:16  cocoa
00113 // Friday check-in.  Major change to structure under PolyRing:
00114 // now SparsePolyRing and DUPolyRing are separated (in preparation
00115 // for implementing iterators).
00116 //
00117 // A number of other relatively minor changes had to be chased through
00118 // (e.g. IndetPower).
00119 //
00120 // Revision 1.2  2005/06/23 15:42:41  cocoa
00121 // Fixed typo in GNU fdl -- all doc/*.txt files affected.
00122 // Minor corrections to PPMonoid (discovered while writing doc).
00123 //
00124 // Revision 1.1  2005/06/22 14:47:56  cocoa
00125 // PPMonoids and PPMonoidElems updated to mirror the structure
00126 // used for rings and RingElems.  Many consequential changes.
00127 //
00128 
00129 #endif

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