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

[Themos Tsikas]

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


On Sunday 13 July 2008, Соловьев Александр Александрович wrote:
> >On Thursday 10 July 2008, �������� ��������� �������
������� wrote:
> >> [[ eval(f, [x=i,y=j])=subscript(m,[i,j]) for i in -2..2 ] for j=-2..2]
> >
> >You need to give us the exact sequence of commands that shows a problem.
> >
> >I think that the 11 variables in your example are solved in terms of 5
> >independent parameters, that's not trash.
>
> Ok. May be I'm doing something wrong. I've figured out that lines
>
> -> f:= [x,y,z]
>
> and
>
> -> f:= [subscript(a,[i]) for i in 0..1]
>
> gives different types. 1st produces "List OrderedVariableList [x,y,z]" and
> 2od "List Symbol". How can I make from "subscript(a,[i]) for i in 0..1]"
> type "List OrderedVariableList" suitable for solve() function?
>
>
>
> _______________________________________________
> 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. 
________________________________________________________________________