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
Oscar.gd
#############################################################################
##
## Oscar.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 Oscar.
##
#############################################################################
#############################################################################
# forbidden expressions inside of Oscar
# dummy_variable to emulate Q by Q[dummy_variable]
#############################################################################
####################################
#
# global variables:
#
####################################
DeclareGlobalVariable( "HOMALG_IO_Oscar" );
DeclareGlobalVariable( "OscarMacros" );
####################################
#
# global functions and operations:
#
####################################
DeclareGlobalFunction( "_Oscar_SetRing" );
DeclareGlobalFunction( "_Oscar_SetInvolution" );
DeclareGlobalFunction( "_Oscar_multiple_delete" );
DeclareGlobalFunction( "InitializeOscarMacros" );
# constructor methods:
DeclareGlobalFunction( "RingForHomalgInOscar" );
DeclareGlobalFunction( "HomalgFieldOfRationalsInOscar" );
DeclareGlobalFunction( "HomalgRingOfIntegersInOscar" );
DeclareGlobalFunction( "HomalgRingOfCyclotomicIntegersInOscar" );
DeclareGlobalFunction( "HomalgRingOfGoldenRatioIntegersInOscar" );
DeclareOperation( "HomalgQRingInOscar", [ IsFreePolynomialRing, IsHomalgRingRelations ] );
DeclareOperation( "HomalgQRingInOscar", [ IsFreePolynomialRing, IsRingElement ] ); # also includes IsHomalgMatrix
DeclareOperation( "HomalgQRingInOscar", [ IsFreePolynomialRing, IsList ] ); # also includes IsString
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...