Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  LiE.gi   Sprache: Shell

 

# SPDX-License-Identifier: GPL-2.0-or-later
# RingsForHomalg: Dictionaries of external rings
#
# Implementations
#

##  Implementation stuff for the external computer algebra system LiE.

####################################
#
# global variables:
#
####################################

BindGlobal( "HOMALG_IO_LiE",
        rec(
            cas := "lie", ## normalized name on which the user should have no control
            name := "LiE",
            executable := [ "lie" ], ## this list is processed from left to right
            options := [ ],
            BUFSIZE := 1024,
            READY := "!%&/)(",
            READY_printed := ~.READY,
            CUT_POS_BEGIN := 1, ## these are the most
            CUT_POS_END := 1,   ## delicate values!
            eoc_verbose := "",
            eoc_quiet := "", ## an LiE specific
            normalized_white_space := NormalizedWhitespace, ## an LiE specific
            ## prints polynomials in a format compatible with other CASs
            define := "=",
            delete := function( var, stream ) homalgSendBlocking( [ var, " = 0" ], "need_command", stream, "delete" ); end,
            multiple_delete := _LiE_multiple_delete,
            prompt := "\033[01mLiE>\033[0m ",
            output_prompt := "\033[1;30;43m<LiE\033[0m ",
            display_color := "\033[0;30;47m",
            banner := """\
LiE version 2.2.2
Authors: Arjeh M. Cohen, Marc van Leeuwen, Bert Lisser.
Free source code distribution
type '?help' for help information
type '?' for a list of help entries.\
""",
            init_string := "",
            InitializeCASMacros := InitializeLiEMacros,
           )
);

HOMALG_IO_LiE.READY_LENGTH := Length( HOMALG_IO_LiE.READY_printed );

####################################
#
# families and types:
#
####################################

# a new type:
BindGlobal( "TheTypeHomalgExternalRingObjectInLiE",
        NewType( TheFamilyOfHomalgRings,
                IsHomalgExternalRingObjectInLiERep ) );

# a new type:
BindGlobal( "TheTypeHomalgExternalRingInLiE",
        NewType( TheFamilyOfHomalgRings,
                IsHomalgExternalRingInLiERep ) );

####################################
#
# global functions and variables:
#
####################################

##
InstallGlobalFunction( _LiE_multiple_delete,
  function( var_list, stream )
    local str, var;
    
    str:="";
    
    for var in var_list do
      str := Concatenation( str, String ( var ) , " = 0" );
    od;
    
    homalgSendBlocking( str, "need_command", stream, "multiple_delete" );
    
end );

##
BindGlobal( "LiEMacros",
        rec(

            init := """
""",

    
    )

);

##
InstallGlobalFunction( InitializeLiEMacros,
  function( stream )
    
    return InitializeMacros( LiEMacros, stream );
    
end );

####################################
#
# constructor functions and methods:
#
####################################


####################################
#
# transfer methods:
#
####################################

####################################
#
# View, Print, and Display methods:
#
####################################


Messung
CHZG
969710097

¤ Dauer der Verarbeitung: 0.2 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1104856
#Domains=417456