source:
git/kernel/GBEngine/kverify.h
@
4cf118
Last change on this file since 4cf118 was 930719, checked in by , 3 years ago | |
---|---|
|
|
File size: 175 bytes |
Line | |
---|---|
1 | #ifndef KVERIFY_H |
2 | #define KVERIFY_H |
3 | #include "polys/simpleideals.h" |
4 | BOOLEAN kVerify1(ideal F, ideal Q); /* seriell*/ |
5 | BOOLEAN kVerify2(ideal F, ideal Q); /* parallel */ |
6 | #endif |
Note: See TracBrowser
for help on using the repository browser.