Re: [Gcl-devel] Re: serveral bugs in codebase

[Camm Maguire]

Greetings!  OK, the following caused an apparent truncation of my
i-output.clisp file:
=============================================================================
--- ../../../../../axiom2/new/new/src/interp/i-output.boot.pamphlet     
2003-06-18 19:05:18.000000000 +0000
+++ i-output.boot.pamphlet      2003-07-28 18:28:41.000000000 +0000
@@ -427,8 +427,8 @@
     head := [term,:head]
     tail := rest tail
   REVERSE head
-;  REVERSIP head
-; REVERSIP is a function specific to CCL
+--;  REVERSIP head
+--; REVERSIP is a function specific to CCL
    
 outputTranSEQ ['SEQ,:l,exitform] ==
   if exitform is ['exit,.,a] then exitform := a
=============================================================================

With the unlimited arg change, the |data| change, and with safety 3, I
now get:

=============================================================================
(1) -> dom:=MonoidRing(Polynomial PrimeField 5, Permutation Integer)

   (1)  MonoidRing(Polynomial PrimeField 5,Permutation Integer)
                                                                 Type: Domain
(2) -> p:dom:=1
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/PF.o for 
      domain PrimeField 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/PERM.o 
      for domain Permutation 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/MRING.o 
      for domain MonoidRing 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/UPMP.o 
      for package UnivariatePolynomialMultiplicationPackage 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/IPF.o for
      domain InnerPrimeField 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/TABLE.o 
      for domain Table 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/HASHTBL.o
      for domain HashTable 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/INTABL.o 
      for domain InnerTable 
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/ZMOD.o 
      for domain IntegerMod 

   (2)  1
                Type: MonoidRing(Polynomial PrimeField 5,Permutation Integer)
(3) -> one? p

   (3)  true
                                                                Type: Boolean
(4) -> set [p,p]
   Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/FSAGG-.o 
      for domain FiniteSetAggregate& 

   (4)  {1}
            Type: Set MonoidRing(Polynomial PrimeField 5,Permutation Integer)
(5) -> 
=============================================================================

Am retrying now with safety 0.

Take care,


"Juergen Weiss" <address@hidden> writes:

> Hi,
> 
> the data in compCapsuleItems is obviously wrong. $myFunctorBody
> should be bound to nil. It's in my list and Tim will take care
> of it. 
> 
> The function output is defined in i-output.boot and you really
> need that file. So I'm a bit suprised, that the function is not
> found. 
> 
> Juergen Weiss
> 
> Juergen Weiss   | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
> address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
> +49(6131)39-26407
> 
> 
> > -----Original Message-----
> > From: Camm Maguire [mailto:address@hidden 
> > Sent: Monday, July 28, 2003 5:05 PM
> > To: address@hidden
> > Cc: address@hidden; Juergen Weiss; address@hidden
> > Subject: Re: [Gcl-devel] Re: serveral bugs in codebase
> > 
> > 
> > Hello again!
> > 
> > root <address@hidden> writes:
> > 
> > > Camm,
> > > 
> > > The duplicate set issue test is:
> > > 
> > > dom:=MonoidRing(Polynomial PrimeField 5, Permutation Integer)
> > > p:dom:=1
> > > set [p,p] ==> {1,1}
> > > 
> > >   but should be
> > >           
> > >           ==> {1}
> > > 
> > > the other test is:
> > > 
> > >   one? p  ==> false
> > > 
> > > but should be
> > >        
> > >           ==> true
> > > 
> > 
> > OK, I think this has to do with the |output| in recordAndPrint in
> > i-toplevel being unbound.  In the default non-safety compile mode,
> > this is not checked for.  I replaced the form
> > 
> > (|output| |x'| |md'|))
> > 
> > with 
> > 
> > (format t "output replace ~S ~S ~%" |x'| |md'|))
> > 
> > in i-toplevel.clisp, managed to compile the needed algebra files from
> > Juergen's tree by hand, and then get what I think is the proper
> > behavior, with reformatted output of course:
> > 
> > ==============================================================
> > ===============
> > (1) -> dom:=MonoidRing(Polynomial PrimeField 5, Permutation Integer)
> > 
> > output replace (|MonoidRing| (|Polynomial| (|PrimeField| 5)) 
> > (|Permutation| (|Integer|))) (|Domain|) 
> >                                                               
> >    Type: Domain
> > (2) -> p:dom:=1
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/PF.o for 
> >       domain PrimeField 
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/PRIMES.o 
> >       for package IntegerPrimesPackage 
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/SET.o for
> >       domain Set 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/POLY.o 
> >       for domain Polynomial 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/ALIST.o 
> >       for domain AssociationList 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/PERM.o 
> >       for domain Permutation 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/MRING.o 
> >       for domain MonoidRing 
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/SMP.o for
> >       domain SparseMultivariatePolynomial 
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/SUP.o for
> >       domain SparseUnivariatePolynomial 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/SAOS.o 
> >       for domain SingletonAsOrderedSet 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/UPMP.o 
> >       for package UnivariatePolynomialMultiplicationPackage 
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/int/algebra/IPF.NRLIB/code 
> >       for domain InnerPrimeField 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/TABLE.o 
> >       for domain Table 
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/HASHTBL.o
> >       for domain HashTable 
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/INTABL.o 
> >       for domain InnerTable 
> >    Loading /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/ZMOD.o 
> >       for domain IntegerMod 
> > 
> > output replace (((0 . 1) . #<vector 0998e32c>)) (|MonoidRing| 
> > (|Polynomial| (|PrimeField| 5)) (|Permutation| (|Integer|))) 
> >                 Type: MonoidRing(Polynomial PrimeField 
> > 5,Permutation Integer)
> > (3) -> set [p,p]
> >    Loading 
> > /fix/t1/camm/axiom/axiom/new/new/mnt/linux/algebra/FSAGG-.o 
> >       for domain FiniteSetAggregate& 
> > 
> > output replace #<vector 09fc0efc> (|Set| (|MonoidRing| 
> > (|Polynomial| (|PrimeField| 5)) (|Permutation| (|Integer|)))) 
> >             Type: Set MonoidRing(Polynomial PrimeField 
> > 5,Permutation Integer)
> > (4) -> one? p
> > 
> > output replace T (|Boolean|) 
> >                                                               
> >   Type: Boolean
> > (5) -> 
> > ==============================================================
> > ===============
> > 
> > I can't yet see where |output| is supposed to be initialized.  All
> > occurrences I've found treat this symbol as a 'let-initialized'
> > local.  A similar situation appears to exist with the |data| variable
> > in define.boot.pamphlet.  Tim, what is the idea in these code
> > fragments?
> > 
> > ==============================================================
> > ===============
> > i-toplevel.boot.pamphlet
> > ==============================================================
> > ===============
> > --% Result Output Printing
> > 
> > recordAndPrint(x,md) ==
> >   --  Prints out the value x which is of type m, and records 
> > the changes
> >   --  in environment $e into $InteractiveFrame
> >   --  $printAnyIfTrue  is documented in setvart.boot. 
> > controlled with )se me any
> >   if md = '(Any) and $printAnyIfTrue  then
> >     md' := first  x
> >     x' := rest x
> >   else
> >     x' := x
> >     md' := md
> >   $outputMode: local := md   --used by DEMO BOOT
> >   mode:= (md=$EmptyMode => quadSch(); md)
> >   if (md ^= $Void) or $printVoidIfTrue then
> >     if null $collectOutput then TERPRI $algebraOutputStream
> >     if $QuietCommand = false then
> >       output(x',md')
> > 
> >       ^^^^^^  unbound function
> > 
> >   putHist('%,'value,objNewWrap(x,md),$e)
> >   if $printTimeIfTrue or $printTypeIfTrue then 
> > printTypeAndTime(x',md')
> >   if $printStorageIfTrue then printStorage()
> >   if $printStatisticsSummaryIfTrue then printStatisticsSummary()
> >   if FIXP $HTCompanionWindowID then mkCompanionPage md
> >   $mkTestFlag = true => recordAndPrintTest md
> >   $runTestFlag =>
> >     $mkTestOutputType := md
> >     'done
> >   'done
> > 
> > ==============================================================
> > ===============
> > define.boot.pamphlet
> > ==============================================================
> > ===============
> > compCapsuleItems(itemlist,$predl,$e) ==
> >   $TOP__LEVEL: local
> >   $myFunctorBody :local  := data    ---needed for translator
> > 
> >                             ^^^^  unbound variable
> >        
> >   $signatureOfForm: local
> >   $suffix: local:= 0
> >   for item in itemlist repeat $e:= 
> > compSingleCapsuleItem(item,$predl,$e)
> >   $e
> >  
> > ==============================================================
> > ===============
> > 
> > Take care,
> > 
> > 
> > > As mentioned in a previous email Axiom stores its variable bindings
> > > in a "frame" which, internally is an alist stored in the variable
> > > |$InteractiveFrame|
> > > 
> > > If you create the 'dom' variable above you can see it by doing:
> > > 
> > > )lisp (pprint |$InteractiveFrame|)
> > > 
> > > 
> > > btw, you can type
> > > 
> > > )lisp (setq $DALYMODE t)
> > > 
> > > and then any line that begins with an open-paren at the Axiom
> > > prompt will be given directly to the lisp. e.g. after setting
> > > $dalymode above you can type:
> > > 
> > > (pprint |$InteractiveFrame|)
> > > 
> > > directly to the Axiom prompt. It makes lisp debugging easier.
> > > 
> > > Tim
> > > address@hidden
> > > address@hidden
> > > 
> > > 
> > > 
> > > _______________________________________________
> > > Gcl-devel mailing list
> > > address@hidden
> > > http://mail.gnu.org/mailman/listinfo/gcl-devel
> > > 
> > > 
> > > 
> > 
> > -- 
> > Camm Maguire                                                
> > address@hidden
> > ==============================================================
> > ============
> > "The earth is but one country, and mankind its citizens."  -- 
> >  Baha'u'llah
> > 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah