Macaulay2 Engine
Loading...
Searching...
No Matches

◆ rawMinimalBetti()

M2_arrayint rawMinimalBetti ( Computation * C,
M2_arrayint slanted_degree_limit,
M2_arrayint length_limit )

Definition at line 734 of file res-f4-m2-interface.cpp.

737{
738 try
739 {
740 F4ResComputation* G = dynamic_cast<F4ResComputation*>(C);
741 if (G != nullptr)
742 return G->minimal_betti(slanted_degree_limit,
743 length_limit); // Computes it if needed
744 ERROR("expected resolution computed via res(...,FastNonminimal=>true)");
745 return nullptr;
746 } catch (const exc::engine_error& e)
747 {
748 ERROR(e.what());
749 return nullptr;
750 }
751}
ResolutionComputation subclass that drives the F4 resolution engine (SchreyerFrame + F4Res) from the ...
const int ERROR
Definition m2-mem.cpp:55
tbb::flow::graph G

References ERROR, and G.