source: git/Singular/ideals.h @ 551fd7

spielwiese
Last change on this file since 551fd7 was 551fd7, checked in by Olaf Bachmann <obachman@…>, 24 years ago
* small bug fixes git-svn-id: file:///usr/local/Singular/svn/trunk@3830 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 3.8 KB
Line 
1#ifndef IDEALS_H
2#define IDEALS_H
3/****************************************
4*  Computer Algebra System SINGULAR     *
5****************************************/
6/* $Id: ideals.h,v 1.14 1999-11-16 12:39:30 obachman Exp $ */
7/*
8* ABSTRACT - all basic methods to manipulate ideals
9*/
10#include "structs.h"
11
12#ifdef PDEBUG
13ideal idDBInit (int size, int rank, char *f, int l);
14#define idInit(A,B) idDBInit(A,B,__FILE__,__LINE__)
15void idDBDelete (ideal* h, char *f, int l);
16#define idDelete(A) idDBDelete(A,__FILE__,__LINE__)
17#else
18ideal idInit (int size, int rank=1);
19  /*- creates an ideal -*/
20void idDelete (ideal* h);
21  /*- deletes an ideal -*/
22#endif
23void idPrint(ideal id);
24  /*- initialise an ideal -*/
25ideal idMaxIdeal (int deg);
26  /*- initialise the maximal ideal (at 0) -*/
27void idSkipZeroes (ideal ide);
28  /*gives an ideal the minimal possible size*/
29void idNorm(ideal id);
30void idDelMultiples(ideal id);
31void idDelEquals(ideal id);
32void idDelLmEquals(ideal id);
33void idDelDiv(ideal id);
34
35#ifdef PDEBUG
36void idDBTest(ideal h1,char *f,int l);
37#define idTest(A) idDBTest(A,__FILE__,__LINE__)
38#else
39#define idTest(A)
40#endif
41
42#ifdef PDEBUG
43ideal idDBCopy(ideal h1,char *f,int l);
44#define idCopy(A) idDBCopy(A,__FILE__,__LINE__)
45#else
46ideal idCopy (ideal h1);
47#endif
48  /*adds two ideals without simplifying the result*/
49ideal idSimpleAdd (ideal h1,ideal h2);
50  /*adds the quotient ideal*/
51ideal idAdd (ideal h1,ideal h2);
52  /* h1 + h2 */
53ideal idMult (ideal h1,ideal h2);
54  /*hh := h1 * h2*/
55
56BOOLEAN idIs0 (ideal h);
57
58int     idRankFreeModule(ideal m);
59
60BOOLEAN idHomIdeal (ideal id, ideal Q=NULL);
61BOOLEAN idHomModule(ideal m, ideal Q,intvec **w);
62
63ideal idMinBase (ideal h1);
64  /*returns a minimized set of generators of h1*/
65int pLowVar (poly p);
66  /*-the minimal index of used variables - 1-*/
67ideal idDehomogen (ideal id1,poly p,number n);
68  /*dehomogenized the generators of the ideal id1 with the leading
69  monomial of p replaced by n*/
70void pShift (poly * p,int i);
71  /*- verschiebt die Indizes der Modulerzeugenden um i -*/
72void    idInitChoise (int r,int beg,int end,BOOLEAN *endch,int * choise);
73void    idGetNextChoise (int r,int end,BOOLEAN *endch,int * choise);
74int     idGetNumberOfChoise(int t, int d, int begin, int end, int * choise);
75
76int     binom (int n,int r);
77
78ideal   idFreeModule (int i);
79
80ideal   idSect (ideal h1,ideal h2);
81ideal   idMultSect(resolvente arg, int length);
82
83//ideal   idSyzygies (ideal h1, tHomog h,intvec **w);
84ideal   idSyzygies (ideal h1, tHomog h,intvec **w, BOOLEAN setSyzComp=TRUE, 
85                    BOOLEAN setRegularity=FALSE, int *deg = NULL);
86ideal   idLiftStd  (ideal h1, matrix *m, tHomog h=testHomog);
87
88ideal   idLift (ideal mod, ideal sumod);
89ideal   idLiftNonStB (ideal  mod, ideal submod,BOOLEAN goodShape=FALSE);
90
91intvec * idMWLift(ideal mod,intvec * weights);
92
93ideal   idQuot (ideal h1,ideal h2,
94                BOOLEAN h1IsStb=FALSE, BOOLEAN resultIsIdeal=FALSE);
95
96ideal   idPower(ideal gid,int deg);
97
98//ideal   idElimination (ideal h1,poly delVar);
99ideal   idElimination (ideal h1,poly delVar, intvec *hilb=NULL);
100
101ideal   idMinors(matrix a, int ar);
102
103ideal   idCompactify(ideal id);
104
105ideal idMinEmbedding(ideal arg,BOOLEAN inPlace=FALSE);
106
107ideal   idHead(ideal h);
108
109ideal   idHomogen(ideal h, int varnum);
110
111BOOLEAN idIsSubModule(ideal id1,ideal id2);
112
113ideal   idVec2Ideal(poly vec);
114
115ideal   idMatrix2Module(matrix mat);
116
117matrix  idModule2Matrix(ideal mod);
118
119matrix  idModule2formatedMatrix(ideal mod,int rows, int cols);
120
121ideal   idSubst(ideal i, int n, poly e);
122
123ideal   idJet(ideal i,int d);
124ideal   idJetW(ideal i,int d, intvec * iv);
125
126matrix  idDiff(matrix i, int k);
127matrix  idDiffOp(ideal I, ideal J,BOOLEAN multiply=TRUE);
128
129intvec *idSort(ideal id,BOOLEAN nolex=TRUE);
130ideal   idModulo (ideal h1,ideal h2);
131int     idElem(ideal F);
132matrix  idCoeffOfKBase(ideal arg, ideal kbase, poly how);
133intvec *idQHomWeights(ideal id);
134ideal   idTransp(ideal a);
135#endif
Note: See TracBrowser for help on using the repository browser.