linear_algebra_step.h File Reference

#include "groebner_defs.h"
#include "add_up.h"
#include "nf.h"
#include "draw_matrix.h"
#include "GroebnerStrategy.h"
#include "MatrixMonomialOrderTables.h"
#include "PolyMonomialPairComparerLess.h"
#include "BitMask.h"
#include "PseudoLongProduct.h"
#include "Long64From32BitsPair.h"
#include <vector>
#include <utility>
#include <sstream>

Go to the source code of this file.

Namespaces
namespace	polybori
namespace	polybori::groebner
Typedefs
typedef Exponent::idx_map_type	polybori::groebner::from_term_map_type
Functions
int	polybori::groebner::select_largest_degree (const ReductionStrategy &strat, const Monomial &m)
void	polybori::groebner::fix_point_iterate (const GroebnerStrategy &strat, std::vector< Polynomial > extendable_system, std::vector< Polynomial > &res1, MonomialSet &res_terms, MonomialSet &leads_from_strat)
void	polybori::groebner::fill_matrix (mzd_t *mat, std::vector< Polynomial > polys, from_term_map_type from_term_map)
void	polybori::groebner::translate_back (std::vector< Polynomial > &polys, MonomialSet leads_from_strat, mzd_t *mat, const std::vector< int > &ring_order2lex, const std::vector< Exponent > &terms_as_exp, const std::vector< Exponent > &terms_as_exp_lex, int rank)
void	polybori::groebner::linalg_step (std::vector< Polynomial > &polys, MonomialSet terms, MonomialSet leads_from_strat, bool log, bool optDrawMatrices=false, const char *matrixPrefix="mat")
void	polybori::groebner::printPackedMatrixMB (mzd_t *mat)
mzd_t *	polybori::groebner::transposePackedMB (mzd_t *mat)
mzd_t *	polybori::groebner::pbori_transpose (mzd_t *mat)
void	polybori::groebner::linalg_step_modified (std::vector< Polynomial > &polys, MonomialSet terms, MonomialSet leads_from_strat, bool log, bool optDrawMatrices, const char *matrixPrefix)
std::vector< Polynomial >	polybori::groebner::gauss_on_polys (const std::vector< Polynomial > &orig_system)
Variables
const int	M4RI_MAXKAY = 16

---

Detailed Description

Author:

Michael Brickenstein

Date:

2011-07-01

This file includes the definition of linear algebra step-related functions.

Copyright:

(c) 2006-2011 by The PolyBoRi Team

---

Variable Documentation

const int M4RI_MAXKAY = 16