1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#############################################################################
##
#A codefun.gd GUAVA Reinald Baart
#A &Jasper Cramwinckel
#A &Erik Roijackers
##
## This file contains non-dispatched functions to get info of codes
##
#############################################################################
##
#F GuavaToLeon( <C>, <file> ) . converts a code to a form Leon can read it
##
## converts a code in Guava format to a library in a format that is readable
## by Leon's programs.
##
DeclareOperation("GuavaToLeon", [IsCode, IsString]);
#############################################################################
##
#F WeightHistogram ( <C> [, <height>] ) . . . . . plots the weights of <C>
##
## The maximum length of the columns is <height>. Default height is one
## third of the screen size.
##
DeclareOperation("WeightHistogram", [IsCode, IsInt]);
#############################################################################
##
#F MergeHistories( <C>, <S> [, <C1> .. <Cn> ] ) . . . . . . list of strings
##
##
DeclareGlobalFunction("MergeHistories");
|
