[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Troubles with subscripts and solve()
From: |
Themos Tsikas |
Subject: |
Re: [Axiom-mail] Troubles with subscripts and solve() |
Date: |
Mon, 14 Jul 2008 18:31:38 +0100 |
User-agent: |
KMail/1.9.6 (enterprise 20070904.708012) |
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.
________________________________________________________________________