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
}
F4ResComputation
ResolutionComputation subclass that drives the F4 resolution engine (SchreyerFrame + F4Res) from the ...
Definition
res-f4-computation.hpp:72
ERROR
const int ERROR
Definition
m2-mem.cpp:55
G
tbb::flow::graph G
Definition
res-tasking-example.cpp:46
exc::engine_error
Definition
exceptions.hpp:42
References
ERROR
, and
G
.
Macaulay2
e
schreyer-resolution
res-f4-m2-interface.cpp
Generated on
for Macaulay2 Engine by
1.15.0