F4
Library for Gröebner basis computation in finite field.
 All Classes Namespaces Files Functions Variables Friends
Typedefs | Functions
test-pluq.cpp File Reference
#include <iostream>
#include <cassert>
#include <ctime>
#include <chrono>
#include <string>
#include <fstream>
#include <sstream>
#include <givaro/modular-balanced.h>
#include <fflas-ffpack/ffpack/ffpack.h>
#include <fflas-ffpack/utils/Matio.h>
Include dependency graph for test-pluq.cpp:

Typedefs

typedef
Givaro::ModularBalanced< int > 
Field
 

Functions

void printMatrix (const Field &F, Field::Element *matrix, int height, int width, string const &filename)
 
Field::Element * readMatrix (const Field &F, int &height, int &width, string const &filename)
 
int main (int argc, char **argv)