Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Singular/Singular
/ ideal_stuff.cc
File
ideal_stuff.cc
IntegerProgramming/ideal_stuff.cc:None–None ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
1
// ideal_stuff.cc
2
3
// implementation of the special ideal features needed by the IP-algorithms
4
Callers
nothing calls this directly
Calls
9
number_of_elimination_variables
Method · 0.80
is_at_end
Method · 0.80
involves_elimination_variables
Method · 0.80
drop_elimination_variables
Method · 0.80
number_of_weighted_variables
Method · 0.80
drop_last_weighted_variable
Method · 0.80
adapt_to_term_ordering
Method · 0.80
next
Method · 0.45
insert
Method · 0.45
Tested by
no test coverage detected