############################################################################# ## #A codefun.gd GUAVA Reinald Baart #A &Jasper Cramwinckel #A &Erik Roijackers ## ## This file contains non-dispatched functions to get info of codes ## #H @(#)$Id: codefun.gd,v 1.3 2003/02/12 03:49:16 gap Exp $ ## Revision.("guava/lib/codefun_gd") := "@(#)$Id: codefun.gd,v 1.3 2003/02/12 03:49:16 gap Exp $"; ############################################################################# ## #F GuavaToLeon( , ) . 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 ( [, ] ) . . . . . plots the weights of ## ## The maximum length of the columns is . Default height is one ## third of the screen size. ## DeclareOperation("WeightHistogram", [IsCode, IsInt]); ############################################################################# ## #F MergeHistories( , [, .. ] ) . . . . . . list of strings ## ## DeclareGlobalFunction("MergeHistories");