check option consistency - Githubissues

jakobkroeker / test_singular

manage a personal issue list for Singular CAS

0 stars 0 forks source link

check option consistency #179

Open jakobkroeker opened 9 years ago

jakobkroeker commented 9 years ago

write a test in kernel which checks option consistency and /or show ignored options.

Example: redTail is designed to be useful only together with 'redSB', see http://www.singular.uni-kl.de:8002/trac/ticket/702

in some rings (quotient rings) there is no unique minimal reduced standard basis. https://github.com/jakobkroeker/test_singular/issues/131