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
|
#ifndef PARSER_H
#define PARSER_H
#include <string>
#include "vektor.h"
#include "monomial.h"
#include "polynomial.h"
#include "field.h"
#include "polynomialring.h"
using namespace std;
class Parser
{
protected:
void parserError(const char *expected, char c);
public:
virtual int parseInt()=0;
virtual Monomial parseMonomial(PolynomialRing const &r)=0;
virtual IntegerVector parseIntegerVector()=0;
};
class CharacterBasedParser : public Parser
{
private:
PolynomialRing azAZ(Field const &f, int n=52);
bool isVariable(int c);
bool isDigit(int c);
int variableIndex(int c);
protected:
virtual int getChar()=0;
virtual void ungetChar(int c)=0;
public:
int nextNonBlank();
int nextNonBlankDoNotGet();
bool isLeftBracket(int c);
bool isRightBracket(int c);
int parseChar();
int parseInt();
double parseFloat();
ComplexNumber parseComplexNumber();
FieldElement parseFieldElement(Field const &f);
FieldElement parseFieldElementFromInteger(Field const &f);
Monomial parseMonomial(PolynomialRing const &r);
IntegerVector parseIntegerVector();
FloatVector parseFloatVector();
ComplexVector parseComplexVector();
IntegerVectorList parseIntegerVectorList();
IntegerVectorList parseIntegerVectorList4ti2();
Term parseTerm(PolynomialRing const &r);
Field parseField();
string parseVariableName();
vector<string> parseVariableList();
PolynomialRing parsePolynomialRing();
Polynomial parsePolynomial(PolynomialRing const &r);
Polynomial parsePolynomialWithRing();
PolynomialSet parsePolynomialSet(PolynomialRing const &r);
PolynomialSet parsePolynomialSetWithRing();
PolynomialSetList parsePolynomialSetList(PolynomialRing const &r);
PolynomialSetList parsePolynomialSetListWithRing();
};
class FileParser : public CharacterBasedParser
{
FILE *f;
protected:
virtual int getChar();
virtual void ungetChar(int c);
public:
FileParser(FILE *f);
};
class StringParser : public CharacterBasedParser
{
const char *s;
int index;
bool hasUngotten;
char ungotten;
protected:
virtual int getChar();
virtual void ungetChar(int c);
public:
StringParser(const char *s);
};
#endif
|
