Re: [Axiom-mail] %S in some contr. pkg fails to compile

[Gregory Vanuxem]

Le dimanche 25 février 2007 à 14:47 +0100, Martin Rubey a écrit : 
> Thank's for the hint, german removed from next version...

Another thing in mantepse: 

        testInterpolant(resi: List SUP S, 
                        list: List F,
                        testList: List UFPSSUPF, 
                        exprList: List EXPRR,
                        initials: List EXPRR,
                        guessDegree: NNI,
                        D: HPSPEC, 
                        dummy: Symbol, op: BasicOperator,
                        options: LGOPT,
                        list: List F)

Two arguments are identical (list), this is odd that GCL can compile
this function because which one will it use in its definition ?
(and, it's a pity that the Spad compiler does not detect this).

Many thanks for your work,

Greg

> Martin
> 
> Gregory Vanuxem <address@hidden> writes:
> 
> > Le dimanche 25 février 2007 à 11:30 +0100, Ralf Stephan a écrit :
> > > Hello,
> > > why is it that I can compile the Simpson's method's spad file
> > > but not mantepse.spad? The latter contains %S strings which
> > > let the compile command choke. OTOH, the pkg works in the sandbox,
> > > so something must be wrong on my side.
> > > 
> > > My configuration: Gentoo Linux, Axiom 3.9
> > 
> > May be you'll have to remove some special characters, look at this
> > patch:
> > 
> > --- mantepse.spad.old
> > +++ mantepse.spad
> > @@ -323,9 +323,6 @@
> >  
> >      S: GcdDomain
> >  
> > --- in guessExpRat möchte ich die Wurzeln von Polynomen Ìber F
> > bestimmen. Wenn F
> > --- ein Quotientenkörper ist, dann kann ich den Nenner loswerden.
> > --- F wÀre dann also QFCAT S
> >  
> >      R: Join(OrderedSet, IntegralDomain)      -- zB.: FRAC POLY INT
> >  
> > @@ -345,10 +342,8 @@
> >                                               -- zB.: EXPR INT
> >  -- EXPR FRAC POLY INT ist ja verboten. Deshalb kann ich nicht einfach
> > EXPR R
> >  -- verwenden
> > --- EXPRR existiert, falls irgendwann einmal EXPR PF 5 unterstÃŒtzt
> > wird.
> >  
> >  
> > --- das folgende möchte ich eigentlich loswerden.
> >    
> >      retract: R -> F                          -- zB.: i+->i
> >      coerce: F -> EXPRR                       -- zB.: i+->i
> > 
> > Hope taht helps,
> > 
> > Greg
> > 
> > 
> > 
> > 
> > _______________________________________________
> > Axiom-mail mailing list
> > address@hidden
> > http://lists.nongnu.org/mailman/listinfo/axiom-mail
> 
>