Macaulay2 Engine
Loading...
Searching...
No Matches
launcher.hpp
Go to the documentation of this file.
1/*****************************************************************************
2 * Copyright (C) 2006-2011 by Mikhail V. Zinin *
3 * mzinin@gmail.com *
4 * *
5 * You may redistribute this file under the terms of the GNU General *
6 * Public License as published by the Free Software Foundation, either *
7 * version 2 of the License, or any later version. *
8 *****************************************************************************/
9
10#ifndef BIBASIS_LAUNCHER_HPP
11#define BIBASIS_LAUNCHER_HPP
12
40
41#include "involutive.hpp"
42#include "matrix.hpp"
43
44namespace BIBasis
45{
61 {
62 public:
63 const Matrix* GetBIBasisMatrix(const Matrix* matrix, int toGroebner) const;
64
65 private:
66 bool CheckMatrix(const Matrix* matrix) const;
67 };
68}
69
70#endif // BIBASIS_LAUNCHER_HPP
bool CheckMatrix(const Matrix *matrix) const
Definition launcher.cpp:50
const Matrix * GetBIBasisMatrix(const Matrix *matrix, int toGroebner) const
Definition launcher.cpp:21
Top-level entry point that runs a BIBasis (boolean involutive) computation on an engine Matrix and re...
Definition launcher.hpp:61
#define Matrix
Definition factory.cpp:14
BIBasis::BooleanInvolutiveBasis<MonomType> — Janet-involutive Gröbner driver for F_2[x]/(x_i^2-x_i).
Matrix — the engine's immutable homomorphism F -> G between free modules.