[1a80b4] | 1 | // Header file for libfac.a |
---|
| 2 | // Created by -- makeheader -- |
---|
[924d8f] | 3 | // $Id$ |
---|
[1a80b4] | 4 | /////////////////////////////////////// |
---|
[3e55bc] | 5 | #ifndef FACTOR_H |
---|
| 6 | #define FACTOR_H |
---|
| 7 | |
---|
[b1dfaf] | 8 | #include <factory/factory.h> |
---|
[1a80b4] | 9 | |
---|
[3e55bc] | 10 | // Set this to a nonzero value to interrupt the computation |
---|
| 11 | extern int libfac_interruptflag; |
---|
| 12 | |
---|
[d92d71] | 13 | /* |
---|
[3e55bc] | 14 | // some values you can ask for: |
---|
[d4c1d0] | 15 | extern const char * libfac_name; |
---|
| 16 | extern const char * libfac_version; |
---|
| 17 | extern const char * libfac_date; |
---|
| 18 | extern const char * libfac_author; |
---|
[d92d71] | 19 | */ |
---|
[3e55bc] | 20 | |
---|
[d92d71] | 21 | /* |
---|
[639047e] | 22 | CFFList Factorize( const CanonicalForm & F, const CanonicalForm & mipo, int is_SqrFree=0 ) ; |
---|
[ec958b] | 23 | CFFList newfactoras( const CanonicalForm & f, const CFList & as, int &success); |
---|
[2f573cc] | 24 | CFFList newcfactor( const CanonicalForm & f, const CFList & as, int &success); |
---|
[d92d71] | 25 | */ |
---|
| 26 | |
---|
[1a80b4] | 27 | |
---|
| 28 | //// Note: InternalSqrFree does only the work needed for factorization. |
---|
| 29 | // CFFList SqrFree( const CanonicalForm & f ) ; |
---|
| 30 | |
---|
| 31 | typedef List<CFList> ListCFList; |
---|
| 32 | typedef List<int> IntList ; |
---|
[d92d71] | 33 | |
---|
| 34 | // typedef ListIterator<int> IntListIterator ; |
---|
| 35 | // typedef List<Variable> Varlist; |
---|
| 36 | // typedef ListIterator<Variable> VarlistIterator; |
---|
[1a80b4] | 37 | |
---|
| 38 | //////////////////////////////////////// |
---|
| 39 | /// from charsets: |
---|
[d92d71] | 40 | /* |
---|
[1a80b4] | 41 | class PremForm { |
---|
| 42 | public: |
---|
| 43 | CFList FS1; |
---|
| 44 | CFList FS2; |
---|
| 45 | inline PremForm& operator=( const PremForm& value ){ |
---|
| 46 | if ( this != &value ){ |
---|
| 47 | FS1 = value.FS1; |
---|
| 48 | FS2 = value.FS2; |
---|
| 49 | } |
---|
| 50 | return *this; |
---|
| 51 | } |
---|
| 52 | }; |
---|
| 53 | |
---|
[d92d71] | 54 | |
---|
[1a80b4] | 55 | CanonicalForm Prem( const CanonicalForm &f, const CanonicalForm &g ); |
---|
| 56 | CanonicalForm Prem( const CanonicalForm &f, const CFList &L ); |
---|
| 57 | CFList Prem( const CFList &AS, const CFList &L ); |
---|
| 58 | CFList MCharSetN( const CFList &PS, PremForm & Remembern ); |
---|
[d92d71] | 59 | */ |
---|
| 60 | |
---|
| 61 | |
---|
| 62 | /// Char. set |
---|
[4a81ec] | 63 | ListCFList IrrCharSeries( const CFList &PS, int opt=0 ); |
---|
[1a80b4] | 64 | |
---|
[d92d71] | 65 | /* |
---|
[1a80b4] | 66 | // the next three give you a heuristically optimal reorderd list of the |
---|
| 67 | // variables. For internal and external (e.g. Singular/Macaulay2) library use. |
---|
| 68 | // This is really experimental! |
---|
| 69 | // See the comments in reorder.cc. |
---|
| 70 | // |
---|
| 71 | // this gives you a heuristically optimal ordering for the ring variables |
---|
| 72 | // if you use the irreducible characteristic series. |
---|
| 73 | Varlist neworder( const CFList & PolyList ); |
---|
| 74 | // the same as neworder(...) only returning a list of CanonicalForm 's |
---|
| 75 | // (i.e. the variables as CanonicalForms) |
---|
| 76 | CFList newordercf(const CFList & PolyList ); |
---|
[d92d71] | 77 | */ |
---|
| 78 | |
---|
| 79 | /// the same as neworder(...) only returning a list of int 's (i.e. the levels) |
---|
[1a80b4] | 80 | IntList neworderint(const CFList & PolyList ); |
---|
| 81 | |
---|
[d92d71] | 82 | /* |
---|
[1a80b4] | 83 | // for library internal use only: |
---|
| 84 | // next function reorders the variables in PS: |
---|
| 85 | // a code segment to use: |
---|
| 86 | // ... |
---|
| 87 | // #include <tmpl_inst.h> // for typedef's |
---|
| 88 | // CFList PS= <setup-your-list-of-CanonicalForms>; |
---|
| 89 | // Varlist betterorder= neworder(PS); |
---|
| 90 | // PS= reorder(betterorder,PS); // reorder variables in PS from oldorder |
---|
| 91 | // to betterorder |
---|
| 92 | // ListCFList Q= IrrCharSeries( PS ); |
---|
| 93 | // Q= reorder(betterorder,Q); // revert ordering to oldorder |
---|
| 94 | // |
---|
| 95 | CFList reorder( const Varlist & betterorder, const CFList & PS); |
---|
[4a81ec] | 96 | CFFList reorder( const Varlist & betterorder, const CFFList & PS); |
---|
[1a80b4] | 97 | ListCFList reorder(const Varlist & betterorder, const ListCFList & Q); |
---|
[d92d71] | 98 | */ |
---|
[4a81ec] | 99 | |
---|
[3e55bc] | 100 | #endif /* FACTOR_H */ |
---|