Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#80 error with sum involving operator

1.3.0
closed-fixed
5
2010-02-09
2010-01-01
ko56
No

OpenAxiom 1.3.1-2009-10-01

(1) -> d := operator('d,1);

Type: BasicOperator
(2) -> sum(x^d(i), i=1..4)

>> System error:
The function |RangeBinding| is undefined.

Also,

reduce(+, [x^d(i) for i in 1..4])

produces a long warning, but works

Discussion

    • status: open --> open-fixed
     
  • Dear Kostas,

    Happy new year!

    I just tested OpenAxiom-1.3.1-2009.11-17 and I cannot reproduce the problem.
    Could you update and let me know? Here is what I have

    OpenAxiom: The Open Scientific Computation Platform
    Version: OpenAxiom 1.3.1-2009-11-17
    Built on Friday January 1, 2010 at 15:04:29
    -----------------------------------------------------------------------------
    Issue )copyright to view copyright notices.
    Issue )summary for a summary of useful system commands.
    Issue )quit to leave OpenAxiom and return to shell.
    -----------------------------------------------------------------------------

    (1) -> d := operator('d, 1)

    (1) d
    Type: BasicOperator
    (2) -> sum(x^d(i), i=1..4)
    d(4) d(3) d(2) d(1)
    (2) x + x + x + x
    Type: Expression Integer

     
  • ko56
    ko56
    2010-01-01

    Hi Gaby,

    Happy New Year! Here is what I have:

    wiley$ open-axiom
    OpenAxiom: The Open Scientific Computation Platform
    Version: OpenAxiom 1.3.1-2009-10-01
    Built on Wednesday November 18, 2009 at 17:32:18
    -----------------------------------------------------------------------------
    Issue )copyright to view copyright notices.
    Issue )summary for a summary of useful system commands.
    Issue )quit to leave OpenAxiom and return to shell.
    -----------------------------------------------------------------------------

    (1) -> d := operator('d,1);

    Type: BasicOperator
    (2) -> sum(x^d(i), i=1..4)

    >> System error:
    The function |RangeBinding| is undefined.

    I notice that your version is 1.3.1-2009.11-17, which is more recent than mine. But when I do "svn update" in my OA directory, I get "At revision 1338." and nothing else. So there is no update.

    Kostas

     
  • Dear Kostas,

    If your local tree is at revision 1338, then it should be up to date,
    and have the latest version of the algbera. RangeBinding is
    a constructor that is defined there, as you can see

    http://svn.open-axiom.org/viewvc/open-axiom/1.3.x/src/algebra/seg.spad.pamphlet?revision=1332&view=markup

    I've tested the system on two different computers and I cannot
    reproduce the problem.

    My current theory is that when you built your latest version
    of OpenAxiom-1.3.x, you did not start from a fresh directory,
    Could you build from a fresh new build directory?

    -- Gaby

     
  • ko56
    ko56
    2010-01-04

    Gaby,

    Thanks, I rebuilt in a new directory as you suggested, and the problem went away.
    I have one more question related to "sum":

    alpha := operator('alpha,1);
    d := operator('d,1);
    )set streams calculate 3
    mu := series(n +-> alpha(n), z=0);
    sum(mu^d(i), i=1..2)

    produces an error saying

    There are 6 exposed and 2 unexposed library operations named sum
    having 2 argument(s) but none was determined to be applicable.
    ...

    Is this correct, expected? Am I doing something wrong?

    Kostas

     
    • status: open-fixed --> closed-fixed