M2-engine/docs/util-polyring-creation_8hpp_source.html

#pragma once


#include <iostream>

#include <memory>

#include <gtest/gtest.h>

#include <vector>


#include "interface/monomial-ordering.h"

#include "monordering.hpp"

#include "interface/ring.h"

#include "interface/aring.h"

#include "monoid.hpp"

#include "poly.hpp"

#include "polyring.hpp"


const Monoid* degreeMonoid(const std::vector<std::string>& names);


const PolynomialRing* degreeRing(const std::vector<std::string>& names);


const PolynomialRing* degreeRing(int ndegrees);// TODO: currently requires ndegrees is 1!


// This create a polynomial ring with all degrees 1.

const PolynomialRing* simplePolynomialRing(const Ring* kk,

                                           const std::vector<std::string>& names,

                                           MonomialOrdering* monorder);


// This create a polynomial ring with all degrees 1, and with GRevLex order

const PolynomialRing* simplePolynomialRing(int p, const std::vector<std::string>& names);


// Local Variables:

// indent-tabs-mode: nil

// End:

aring.h
Engine-boundary C API for constructing aring-backed coefficient rings.

Monoid
Engine-side commutative monomial monoid: variable names, ordering, multidegree machinery,...
Definition monoid.hpp:89

PolynomialRing
Abstract base for the engine's polynomial-ring hierarchy.
Definition polyring.hpp:96

Ring
xxx xxx xxx
Definition ring.hpp:102

p
int p
Definition godboltTest.cpp:36

monoid.hpp
Monoid — variable count, naming, grading, and monomial order of a polynomial ring.

monomial-ordering.h
Engine-boundary C API for assembling block-level MonomialOrderings from declarative pieces.

monordering.hpp
MonomialOrderings — C++ factories for the declarative MonomialOrdering blocks.

poly.hpp
Concrete commutative PolyRing — standard polynomial ring inheriting from PolyRingFlat.

polyring.hpp
PolynomialRing — abstract polynomial-ring base, the engine's most-reused class.

ring.h
Engine-boundary C API for the legacy Ring hierarchy — coefficient, polynomial, and composite rings.

MonomialOrdering
Front-end-side description of a monomial ordering as a list of mon_part blocks.
Definition monomial-ordering.h:100

degreeMonoid
const Monoid * degreeMonoid(const std::vector< std::string > &names)
Definition util-polyring-creation.cpp:30

degreeRing
const PolynomialRing * degreeRing(const std::vector< std::string > &names)
Definition util-polyring-creation.cpp:49

simplePolynomialRing
const PolynomialRing * simplePolynomialRing(const Ring *kk, const std::vector< std::string > &names, MonomialOrdering *monorder)
Definition util-polyring-creation.cpp:61