ExternalLibs -- Linked external libraries |
Syntax |
ExternalLibs(): LIST of STRING |
Description |
Example |
/**/ ExternalLibs(); ["GMP", "Normaliz", "Frobby", "Gfan", "CDD", "MathSAT"] /**/ indent(VersionInfo().ExternalLibs); [ record[name := "GMP", version := "60102"], record[name := "Normaliz", version := "30102"], (...) ] |
See Also |