Revision 202f7130dde41cf4260970c8b3e8efb24cf27619 authored by Mohamed Barakat on 11 February 2022, 23:34:22 UTC, committed by GitHub on 11 February 2022, 23:34:22 UTC
bumped versions to trigger releases
Singular.gd
#############################################################################
##
## Singular.gd RingsForHomalg package Mohamed Barakat
## Markus Lange-Hegermann
##
## Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
## Declaration stuff for the external computer algebra system Singular.
##
#############################################################################
#############################################################################
# forbidden expressions inside of Singular
# dummy_variable to emulate Q by Q[dummy_variable]
#############################################################################
####################################
#
# global variables:
#
####################################
DeclareGlobalVariable( "HOMALG_IO_Singular" );
DeclareGlobalVariable( "SingularMacros" );
####################################
#
# global functions and operations:
#
####################################
DeclareGlobalFunction( "_Singular_SetRing" );
DeclareGlobalFunction( "_Singular_SetInvolution" );
DeclareGlobalFunction( "_Singular_multiple_delete" );
DeclareGlobalFunction( "InitializeSingularMacros" );
# constructor methods:
DeclareGlobalFunction( "RingForHomalgInSingular" );
DeclareGlobalFunction( "HomalgFieldOfRationalsInSingular" );
DeclareGlobalFunction( "HomalgRingOfIntegersInSingular" );
DeclareOperation( "HomalgQRingInSingular", [ IsFreePolynomialRing, IsHomalgRingRelations ] );
DeclareOperation( "HomalgQRingInSingular", [ IsFreePolynomialRing, IsRingElement ] ); # also includes IsHomalgMatrix
DeclareOperation( "HomalgQRingInSingular", [ IsFreePolynomialRing, IsList ] ); # also includes IsString
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...