Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Singular/Singular
/ ExtensionLevel
Function
ExtensionLevel
factory/variable.cc:254–259 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
252
}
253
254
int ExtensionLevel()
255
{
256
if( var_names_ext == 0)
257
return 0;
258
return strlen( var_names_ext )-1;
259
}
260
261
void prune (Variable& alpha)
262
{
Callers
1
Reduce
Function · 0.85
Calls
no outgoing calls
Tested by
no test coverage detected