Re: [Axiom-mail] Troubles with subscripts and solve()

[Themos Tsikas]

I was using Fricas. In Axiom, can you try this:

(1) -> f:= [subscript(a,[i]) for i in 0..1]

   (1)  [a ,a ]
          0  1
                                                            Type: List Symbol
(2) -> [index(i)$OVAR(f) for i in 1..size()$OVAR(f)::PI]

   (2)  [a ,a ]
          0  1
                                 Type: List OrderedVariableList [*01a0,*01a1]



On Monday 14 July 2008, Соловьев Александр Александрович wrote:
> >(6) -> )sh OrderedVariableList
> > OrderedVariableList VariableList: List Symbol  is a domain constructor
> > Abbreviation for OrderedVariableList is OVAR
> > This constructor is not exposed in this frame.
> >------------------------------- Operations
> > -------------------------------- ?<? : (%,%) -> Boolean               
> > ?<=? : (%,%) -> Boolean
> > ?=? : (%,%) -> Boolean                ?>? : (%,%) -> Boolean
> > ?>=? : (%,%) -> Boolean               coerce : % -> OutputForm
> > convert : % -> Pattern Integer        convert : % -> Pattern Float
> > convert : % -> InputForm              convert : % -> Symbol
> > enumerate : () -> List %              hash : % -> SingleInteger
> > index : PositiveInteger -> %          latex : % -> String
> > lookup : % -> PositiveInteger         max : (%,%) -> %
> > min : (%,%) -> %                      random : () -> %
> > size : () -> NonNegativeInteger       ?~=? : (%,%) -> Boolean
> > variable : Symbol -> Union(%,"failed")
> >
> >
> >(6) -> f
> >
> >  (6)  [a ,a ]
> >          0  1
> >                                                    Type: List Symbol
> >(7) -> enumerate()$OVAR(f)
> >
> > Function Selection for enumerate
> >      Arguments: ()
> >      Target type: LIST OVAR [*01a0,*01a1]
> >      From:      OVAR [*01a0,*01a1]
> >
> > [1]  signature:   () -> LIST OVAR [*01a0,*01a1]
> >      implemented: slot (List $) from OVAR [*01a0,*01a1]
> >
> >
> >   (7)  [a ,a ]
> >          0  1
> >                                 Type: List OrderedVariableList
> > >[*01a0,*01a1]
>
> Don't work.
>
>
> (5) -> f:= [ subscript(a,[i]) for i in 0..1]
> (5) ->
>    (5)  [a ,a ]
>           0  1
>                                                        Type: List Symbol
> (6) -> enumerate()$OVAR(f)
>  6) ->
>    The function enumerate is not implemented in OrderedVariableList [
>       *01a0,*01a1] .
> (6) ->
>
> (7) -> )sh OrderedVariableList
>  OrderedVariableList VariableList: List Symbol  is a domain constructor
>  Abbreviation for OrderedVariableList is OVAR
>  This constructor is not exposed in this frame.
>  Issue )edit variable.spad.pamphlet to see algebra source code for OVAR
>
> ------------------------------- Operations --------------------------------
>  ?<? : (%,%) -> Boolean                ?<=? : (%,%) -> Boolean
>  ?=? : (%,%) -> Boolean                ?>? : (%,%) -> Boolean
>  ?>=? : (%,%) -> Boolean               coerce : % -> OutputForm
>  convert : % -> Pattern Integer        convert : % -> Pattern Float
>  convert : % -> InputForm              convert : % -> Symbol
>  hash : % -> SingleInteger             index : PositiveInteger -> %
>  latex : % -> String                   lookup : % -> PositiveInteger
>  max : (%,%) -> %                      min : (%,%) -> %
>  random : () -> %                      size : () -> NonNegativeInteger
>  ?~=? : (%,%) -> Boolean
>  variable : Symbol -> Union(%,"failed")
>
> (7) ->
>
>
> _______________________________________________
> Axiom-mail mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-mail
>
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star.
> ________________________________________________________________________



________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________