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

[Соловьев Александр Александрович]

>(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) ->