headers
Gabriel Dos Reis | 18 May 2013 10:26

[open-axiom-devel] parts from HomogeneousAggregate

The "parts" export is gone from HomogeneousAggregate.
It was almost always equivalent to members.  The redundancy
was confusing and unnecessary.

-- Gaby

------------------------------------------------------------------------------
AlienVault Unified Security Management (USM) platform delivers complete
security visibility with the essential security capabilities. Easily and
efficiently configure, manage, and operate all of your security controls
from a single console and one unified framework. Download a free trial.
http://p.sf.net/sfu/alienvault_d2d
Permalink | Reply | 0 comments |
headers
Gabriel Dos Reis | 18 May 2013 06:14

[open-axiom-devel] Multiset and members

The old operation "members" of Multiset was renamed to "unique"
to reflect its semantics, to avoid confusion with the export
"members" from HomogeneousAggregate.

This closes, I hope, a long standing issue with what to
do with members vs. parts.  The latter is going away.

-- Gaby

------------------------------------------------------------------------------
AlienVault Unified Security Management (USM) platform delivers complete
security visibility with the essential security capabilities. Easily and
efficiently configure, manage, and operate all of your security controls
from a single console and one unified framework. Download a free trial.
http://p.sf.net/sfu/alienvault_d2d
Permalink | Reply | 0 comments |
headers
Gabriel Dos Reis | 18 May 2013 01:16

[open-axiom-devel] Collection and find

As currently specified, the operation "find"
(from category Collection) appears to be
a terminating function: it either succeeds
with an element or fails.  This indicates that
it is more appropriate for FiniteAggregate than
for Collection.

The real defining property of Collection is that
it is an aggregate that can be constructed
from a specified list of elements.

Any contrary opinion to moving it to FiniteAggregate?

-- Gaby

------------------------------------------------------------------------------
AlienVault Unified Security Management (USM) platform delivers complete
security visibility with the essential security capabilities. Easily and
efficiently configure, manage, and operate all of your security controls
from a single console and one unified framework. Download a free trial.
http://p.sf.net/sfu/alienvault_d2d
Permalink | Reply | 0 comments |
headers
Gabriel Dos Reis | 17 May 2013 03:10
Picon
Favicon

[open-axiom-devel] IndexedAggregate is implicitly assumed to be a finite aggregate


Hi,

I have been working on getting rid of the attribute finiteAggreagte and
replacing it with the more structured category FiniteAggregate.  See

  http://sourceforge.net/p/open-axiom/code/2869/tree//trunk/src/algebra/aggcat.spad.pamphlet?diff=515862a75fcbc90e9951aa9f:2868

for its introduction.

While working through the semantics implications of category exports,
I've come to the conclusion that any domain D that satisfies the
category IndexedAggregate must also be morally finite.  For each
instance of such a domain would need to have a finite indices (because
the operations indices$D must return a list), and it would also need to
have a finite set of entries -- the operation entries$D must return a
list. 

Consequently, I am proposing to make IndexedAggregate(I,S) extends
FiniteAggregate(S) instead of HomogeneousAggregate(S).

Opinions?

-- Gaby

------------------------------------------------------------------------------
AlienVault Unified Security Management (USM) platform delivers complete
security visibility with the essential security capabilities. Easily and
efficiently configure, manage, and operate all of your security controls
from a single console and one unified framework. Download a free trial.
(Continue reading)

Permalink | Reply | 2 comments |
headers
SYNASC 2013 | 12 May 2013 17:29
Picon

[open-axiom-devel] CFP Synasc 2013, Timisoara, Romania [7 days left for abstract submission]

[Please post - apologies for multiple copies.]

Call for Papers
---------------

                       SYNASC 2013

              15th International Symposium on
   Symbolic and Numeric Algorithms for Scientific Computing
         September 23-26, 2013, Timisoara, Romania
                   http://www.synasc.ro/

Aim
---

SYNASC aims to stimulate the interaction between the two 
scientific communities of symbolic and numeric computing 
and to exhibit interesting applications of the areas both 
in theory and in practice. The choice of the topic is motivated 
by the belief of the organizers that the dialogue between 
the two communities is very necessary for accelerating the 
progress in making the computer a truly intelligent aid for 
mathematicians and engineers.

Important Dates
---------------

19 May 2013            :  Abstract submission  
26 May 2013            :  Paper submission 
22 July 2013           :  Notification of acceptance
(Continue reading)

Permalink | Reply | 0 comments |
headers
Gabriel Dos Reis | 11 May 2013 22:55
Picon
Favicon

Re: [open-axiom-devel] Arrays and matrices.

someone <somebody@...> writes:

| One point I could see is that with two constructions one could try
| to separate the mathematical algebraic structure "Matrix" and the
| computer-science data-structure "2D-Array".
| Maybe there are good reasons to do this?

I consider the current state of matrix code in OpenAxiom to be too much
of obfuscation, but I am still going to keep the distinction 2d arrays
vs. matrices.  I think of the latter as linear algebra related whereas
the former is for more general stuff that do not necessarily have much
structures. 

-- Gaby

------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and 
their applications. This 200-page book is written by three acclaimed 
leaders in the field. The early access version is available now. 
Download your free book today! http://p.sf.net/sfu/neotech_d2d_may
Permalink | Reply | 0 comments |
headers
Игорь Пашев | 5 May 2013 12:02
Picon
Gravatar

[open-axiom-devel] open-axiom chokes on Legendre polynomial (Debian bug #706813)

Hi, I have a bug report from Debian [1].

open-axiom seems to hangs in calcutaions of high-order Legendre
polynomial coefficients.
I have reproduced this on Gentoo too. Can't check lastest version, thought.

Quoting:

============  >8 ======================
(1) -> p(0) == 1
                                                                   Type: Void
(2) -> p(1) == x
                                                                   Type: Void
(3) -> p(n) == ((2*n-1)*x*p(n-1) - (n-1) * p(n-2))/n
                                                                   Type: Void
(4) -> p(10)
   Compiling function p with type Integer -> Polynomial Fraction
      Integer

        46189  10   109395  8   45045  6   15015  4   3465  2    63
   (4)  ----- x   - ------ x  + ----- x  - ----- x  + ---- x  - ---
         256          256        128        128        256      256
                                            Type: Polynomial Fraction Integer

So far so good, now I typed

(5) -> coefficient(p(90),x,90)

and this resulted in
  PID USER      PR  NI  VIRT  RES  SHR S  %CPU %MEM    TIME+  COMMAND
(Continue reading)

Permalink | Reply | 2 comments |
headers
Eugene Surowitz | 25 Apr 2013 22:07

Re: [open-axiom-devel] Re: icons

I like the idea of icons/logos acknowledging the common history;
Things that might be used create sufficiently non-infringing are
style, color, shape, wording.

I'm not quite sure what I mean by 'style'.

As a 'wording' example, to distinguish to things on my product disk,
I label their top directories as:

AXIOM=AXIOM  AXIOM=FRICAS  AXIOM=OpenAxiom

( "=" just is the result of Windows naming limits )

Just ideas; Cheers , Gene

On 4/25/2013 10:16 AM, Bill Page wrote:
> Of those examples on page so far
>
> http://axiom-wiki.newsynthesis.org/FriCASIcon
>
> I think I also prefer number 2 or maybe better it's inverse number 3.
>
> To me it seems less important to be "creative" and more important to remind us of the
> history by some similarity to the Axiom logo.
>
>
> On 25 April 2013 09:36, Ralf Hemmecke <ralf@... <mailto:ralf@...>>
> wrote:
>
>      >> having a nice logo for fricas would be great.
(Continue reading)

Permalink | Reply | 2 comments |
headers
Gabriel Dos Reis | 25 Apr 2013 16:33
Picon
Favicon

Re: [open-axiom-devel] Bug 92

Eugene Surowitz <surow@...> writes:

| It appears that the OpenAxiom(Interpreter) option
| does not attempt to star the GUI.
| It has "-no-gui" in the Target line of Properties.
| So I conclude that the trouble is part of getting
| the GUI screen(s) going.
| 
| Cheers, Gene

Gene, thanks for investigating this.  

Alfredo, could you confirm Gene's finding?  It would be good to fix this
once for all.  I would also like to have the new gui be he default in
OpenAxiom-1.5.0 on all supported platforms, not just Windows.

Thanks,

-- Gaby

------------------------------------------------------------------------------
Try New Relic Now & We'll Send You this Cool Shirt
New Relic is the only SaaS-based application performance monitoring service 
that delivers powerful full stack analytics. Optimize and monitor your
browser, app, & servers with just a few lines of code. Try New Relic
and get this awesome Nerd Life shirt! http://p.sf.net/sfu/newrelic_d2d_apr
Permalink | Reply | 0 comments |
headers
Eugene Surowitz | 24 Apr 2013 21:49

[open-axiom-devel] Bug 92 occurs on Windows XP / SP3

On my XP/SP3 system:

Before uninstalling OpenAxiom 1.4.1 poked
various things and reproduced bug 92 in these ways:

Desktop icon: opens two windows: a terminal window and
               a window with a "Main Frame" tab;
               the terminal window has a blinking cursor
               but does not accept input.

Start Menu > All Programs > OpenAxiom > OpenAxiom yields the same result.

Start Menu > All Programs > OpenAxiom > OpenAxiom(Interpreter)
              opens what seems to be a properly functioning OpenAxiom window.

Cheers, Gene

------------------------------------------------------------------------------
Try New Relic Now & We'll Send You this Cool Shirt
New Relic is the only SaaS-based application performance monitoring service 
that delivers powerful full stack analytics. Optimize and monitor your
browser, app, & servers with just a few lines of code. Try New Relic
and get this awesome Nerd Life shirt! http://p.sf.net/sfu/newrelic_d2d_apr
Permalink | Reply | 4 comments |
headers
Gabriel Dos Reis | 24 Apr 2013 21:07
Picon
Favicon

Re: [open-axiom-devel] Download OpenAxiom

Eugene Surowitz <surow@...> writes:

[...]

| BUT: I just got the "open-axiom-1.4.2.tar.bz2"
| 9.6MB down with no problem!
| So the headache seems to revolve around "Download GNU tarball"
| on page "http://svn.open-axiom.org/viewvc/open-axiom/"

Thanks for the detective work.  I think you've nailed the problem.
Looking at the date stamps gave me a clue of what is going.

SourceForge nudged us to "upgrade" to a new "project management system",

   http://sourceforge.net/blog/upgrades-april22/

and made the "old" version of the project obsolete.  Apparantly, we still
have some old links around.  I thought I fixed all the links.  I will
fix all that remains -- sometime tonight (I have class in an hour.)

-- Gaby

------------------------------------------------------------------------------
Try New Relic Now & We'll Send You this Cool Shirt
New Relic is the only SaaS-based application performance monitoring service 
that delivers powerful full stack analytics. Optimize and monitor your
browser, app, & servers with just a few lines of code. Try New Relic
and get this awesome Nerd Life shirt! http://p.sf.net/sfu/newrelic_d2d_apr
Permalink | Reply | 0 comments |

Gmane