rahmenlose Ansicht.gd DruckansichtUnknown {[0] [0] [0]}Datei anzeigen
######################### BEGIN COPYRIGHT MESSAGE #########################
# GBNP - computing Gröbner bases of noncommutative polynomials
# Copyright 2001-2010 by Arjeh M. Cohen, Dié A.H. Gijsbers, Jan Willem
# Knopper, Chris Krook. Address: Discrete Algebra and Geometry (DAM) group
# at the Department of Mathematics and Computer Science of Eindhoven
# University of Technology.
#
# For acknowledgements see the manual. The manual can be found in several
# formats in the doc subdirectory of the GBNP distribution. The
# acknowledgements formatted as text can be found in the file chap0.txt.
#
# GBNP is free software; you can redistribute it and/or modify it under
# the terms of the Lesser GNU General Public License as published by the
# Free Software Foundation (FSF); either version 2.1 of the License, or
# (at your option) any later version. For details, see the file 'LGPL' in
# the doc subdirectory of the GBNP distribution or see the FSF's own site:
# https://www.gnu.org/licenses/lgpl.html
########################## END COPYRIGHT MESSAGE ##########################
### filename = "grobner.gd"
### author: Jan Willem Knopper
### made to accompany "grobner.gi" from Cohen & Gijsbers
###
### This is a part of the GBNP package, version 0.9
DeclareGlobalFunction("Grobner");
DeclareGlobalFunction("SGrobner");
DeclareGlobalFunction("BaseQA");
DeclareGlobalFunction("DimQA");
DeclareGlobalFunction("MulQA");
DeclareGlobalFunction("StrongNormalFormNP");
DeclareGlobalFunction("IsGrobnerBasis");
DeclareGlobalFunction("IsStrongGrobnerBasis");
DeclareGlobalFunction("SGrobnerModule");
DeclareGlobalFunction("BaseQM");
DeclareGlobalFunction("DimQM");
DeclareGlobalFunction("MulQM");
DeclareGlobalFunction("StrongNormalFormNPM");
DeclareGlobalFunction("MakeGrobnerPair");
DeclareGlobalFunction("IsGrobnerPair");
[ Verzeichnis aufwärts0.142unsichere Verbindung
]
