| LIB "olga.lib";
ring R; setring R;
testLocData(0, list(1)); // correct localization, no error
testLocData(42, list(1)); // incorrect localization, results in error
==> ? invalid localization: type is 42, valid types are:
==> 0 for a monoidal localization
==> 1 for a geometric localization
==> 2 for a rational localization
==> ? leaving olga.lib::testLocData (0)
|