1
#ifndef FIELD_RATIONALFUNCTIONS2_INCLUDED
2
#define FIELD_RATIONALFUNCTIONS2_INCLUDED
6
#include "polynomial.h"
10
class FieldRationalFunctions2Implementation : public FieldImplementation
12
PolynomialRing thePolynomialRing;
13
FieldElementImplementation *zHomomorphismImplementation(int n);/* Creates FieldElementImplementation object with refcount1 */
14
FieldElement zHomomorphism(int n);
16
std::string toString()const;
18
virtual bool isRationals()const;
19
PolynomialRing getPolynomialRing()const;
20
FieldRationalFunctions2Implementation(PolynomialRing const &r);
21
// PolynomialRing getPolynomialRing()const;
26
// Let's see how inheritance and slicing works together
27
class FieldRationalFunctions2 : public Field
30
FieldRationalFunctions2(PolynomialRing const &r);
31
FieldElement polynomialToFraction(Polynomial const &p);
35
* Creates a polynomial ring where
38
PolynomialRing makeVariablesParameters(PolynomialRing const &r, int numberOfParameters);
39
Polynomial makeVariablesParameters(PolynomialRing const &genericRing, Polynomial const &p);
40
PolynomialSet makeVariablesParameters(PolynomialRing const &genericRing, PolynomialSet const &p);