1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
#include "polynomialring.h"
#include <sstream>
#include <string>
#include "printer.h"
#include "log.h"
#define plog1 if(0)
PolynomialRing::PolynomialRing(Field const &f, int numberOfVariables)
{
vector<string> names;
for(int i=0;i<numberOfVariables;i++)
{
stringstream s;
s<<'x'<<i;
names.push_back(s.str());
}
implementingObject= new PolynomialRingImplementation(f,numberOfVariables,names);
implementingObject->refCount++;
plog1 fprintf(Stderr,"Constructing PolynomialRing\n");
}
PolynomialRing::PolynomialRing(Field const &f, vector<string> const &variables)
{
implementingObject= new PolynomialRingImplementation(f,variables.size(),variables);
implementingObject->refCount++;
plog1 fprintf(Stderr,"Constructing PolynomialRing\n");
}
PolynomialRing PolynomialRing::withVariablesAppended(string variableNames)const
{
vector<string> names2=implementingObject->variableNames;
names2.push_back(variableNames);///!!!!!!!
return PolynomialRing(implementingObject->theField,names2);
}
int PolynomialRing::variableIndex(string const &name)const
{
for(int i=0;i<implementingObject->variableNames.size();i++)
{
if(implementingObject->variableNames[i]==name)return i;
}
return -1;
}
string const &PolynomialRing::getVariableName(int i)const
{
assert(implementingObject);
assert(i>=0);
assert(i<implementingObject->variableNames.size());
return implementingObject->variableNames[i];
}
PolynomialRing::~PolynomialRing()
{
assert(implementingObject);
implementingObject->refCount--;
assert(implementingObject->refCount>=0);
if(implementingObject->refCount==0)
{
plog1 fprintf(Stderr,"Deleting implementing object\n");
delete implementingObject;
}
implementingObject=0;
plog1 fprintf(Stderr,"Destructing PolynomialRing\n");
}
PolynomialRing::PolynomialRing(PolynomialRing const &a)
:implementingObject(a.implementingObject)
{
implementingObject->refCount++;
plog1 fprintf(Stderr,"Copying PolynomialRing\n");
}
PolynomialRing& PolynomialRing::operator=(const PolynomialRing& a)
{
plog1 fprintf(Stderr,"Assigning Field\n");
if(this==&a)
{
plog1 fprintf(Stderr,"---selfassigning\n");
return *this;
}
if(implementingObject&& 0==(--(implementingObject->refCount)))delete implementingObject;
//assert(a.implementingObject);
if(a.implementingObject)
{
implementingObject=a.implementingObject;
implementingObject->refCount++;
}
else
implementingObject=0;
return *this;
}
|
