|
|
|
|
|
|
by madars
1781 days ago
|
|
|
Magma should do it (http://magma.maths.usyd.edu.au/magma/handbook/text/970 claims a Alan Steel's non-commutative generalization of Faugère F4 and noncommutative Buchberger algorithm) and US institutions can get it via the Simmons agreement. Not sure what's good for home users, though. |
|
|