On Wed, Jun 8, 2011 at 1:03 PM, Waldek Hebisch wrote:
> Ralf Hemmecke wrote:
>>
>> If I look at
>> https://github.com/hemmecke/fricas-svn/blob/master/src/algebra/stream.spad.pamphlet#L552
>> I read...
>>
>> "A stream is an implementation of an infinite sequence ..."
>>
>> The documentation clearly
> On 06/06/2011 08:05 PM, Martin Rubey wrote:
> ...
> Do I have to append s1 to a infinite stream by letting the rest
> elements all be 0 manually?
>
> I think that's the way to go. It's not that bad:
>
> [i+j for i in concat(s1, repeating [0]) for j in s2]
>
A more functional notation in the styl
Thanks Waldek and Gaby. I get a little confused now that FriCAS and
OpenAxiom are drifting a little further apart and I am still using
both. No problem.
On Wed, May 11, 2011 at 12:46 PM, Gabriel Dos Reis wrote:
> Bill Page writes:
>
> | The FriCAS langue reference in hyperdoc (5.4.6)
The FriCAS langue reference in hyperdoc (5.4.6) describes the
'iterate' and 'break' commands. I do not see iterate used anywhere in
library code. Is this only available in the interpreter or is it in
spad by some other name?
Regards,
Bill.
--
You received this message because you are subscribe
I second that!
Waldek, thank you for continuing to improve FriCAS.
Bill Page.
On Fri, May 6, 2011 at 12:40 PM, Ralf Hemmecke wrote:
> Dear Waldek,
>
> I'd like to thank you for your efforts of making FriCAS better.
>
> Ralf
>
--
You received this message because yo
t;
> My HyperDoc window disappears.
>
Yes. This also happens to me.
(115) -> )version
Value = "FriCAS 2010-12-08 compiled at Tuesday March 29, 2011 at 17:40:03 "
Although this says "FriCAS 2010-12-08" in fact is was compiled from
the current trunk as of March 29.
Re
that.)
>
> So in the end, it's better to be able to always change from the symbol
> to the name of the symbol. Or at least, show a tooltip when hovering
> over an unfamiliar unicode symbol.
>
Yes, I like that but it's really more of a user interface issue.
Regards,
Bill
Thanks Ralf.
On Thu, Apr 14, 2011 at 5:11 AM, you wrote:
>> Probably with a little forethought is would be possible to support
>> users without Unicode support by providing alternate (long and
>> awkward) names for the symbols and symbol combinations that you use.
>
> http://groups.google.com/grou
tion right away is unicodeIt
>
> http://www.svenkreiss.com/UnicodeIt
>
> This is a very easy way to get Unicode characters if you are already
> familar with the LaTeX equivalents.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
&quo
could help this situation a lot.
There are a lot of symbols in Unicode whose common use in mathematics
is to denote an infix operator. I think they should be recognized by
FriCAS as such.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"
rriers that make inserting rich characters a bit of a pain.
I think the gain makes it worth it.
What do you think?
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send emai
Well, that's just exactly the point of my message. :)
On Tue, Apr 12, 2011 at 4:27 PM, Ralf Hemmecke wrote:
>> Anyway, what do you think of the proposal to implement '-' in
>> NonNegativeInteger such that
>>
>> (1-2)$NNI
>>
>> would return 0? Does this mean then that NonNegativeInteger could b
e this
(mostly) invisible.
Anyway, what do you think of the proposal to implement '-' in
NonNegativeInteger such that
(1-2)$NNI
would return 0? Does this mean then that NonNegativeInteger could be
considered an AbelianGroup?
Bill Page.
--
You received this message because you are subs
Thanks Waldek, escaping these special characters works great!
On Thu, Apr 7, 2011 at 12:12 PM, Waldek Hebisch wrote:
> Bill Page wrote:
>>
>> Waldek,
>>
>> What determines which unicode characters are "FriCAS characters"? E.g.
>>
>> http://ax
g
Is this configurable somehow?
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to fricas-devel@googlegroups.com.
To unsubscribe from this group, send email to
f
' and 'backtrace'
because the compilation is triggered only when saving the edited web
page. Is there some other way to obtain the backtrace that would work
from a batch .input file?
Regards,
Bill Page.
On Tue, Apr 5, 2011 at 10:31 AM, Waldek Hebisch
wrote:
> Bill Page wrote:
Version: FriCAS 2010-12-08
Timestamp: Thursday March 10, 2011
using
# sbcl --version
SBCL 1.0.31
# gcc --version
gcc (Ubuntu 4.3.3-5ubuntu4) 4.3.3
on 64-bit Ubuntu 9.04
# uname -a
Linux billpage 2.6.28-19-server #64-Ubuntu SMP Wed Aug 18 22:43:50 UTC
2010 x86_64 GNU/Linux
Waldek,
On Mon, Mar 28, 2011 at 12:54 PM, you wrote:
> Bill Page wrote:
>> Thanks for your patient explanation. So we define
>>
>> 1/0 = 0
>>
>> but we do not call this a multiplicative inverse. Should we say then that
>>
>> 0^(-1)
>>
>&
Waldek,
Thanks for your patient explanation. So we define
1/0 = 0
but we do not call this a multiplicative inverse. Should we say then that
0^(-1)
is still undefined?
Regards,
Bill Page.
On Mon, Mar 28, 2011 at 10:07 AM, you wrote:
>
> Let us recall field axioms:
>
>
Waldek,
On Fri, Mar 25, 2011 at 1:01 PM, you wrote:
> Bill Page wrote:
>>
>> Thanks Waldek. I don't really have a problem with providing a value
>> for x/0. This is not so different than considering the CardinalNumber
>> domain as an extension of NonNegativ
Gaby,
Is this a typo? Or a recent change?
As far as I can see VectorSpace *does* export dimension with a result
in CardinalNumber. I suppose that in most usages is it simply
converted to NNI.
Regards,
Bill Page.
On Thu, Mar 24, 2011 at 7:31 PM, you wrote:
>
> I have always considere
x27;t "higher order logic" the main point of
Isabelle/HOL? Therefore I do not understand why Jalaluddin Morris
claims that Isabelle/HOL somehow legitimizes this choice for the
"field of real numbers".
Regards,
Bill Page.
On Thu, Mar 24, 2011 at 5:51 PM, Waldek Hebisch wrote:
t but I would like to hear about your
views on this. Can you think of any reference that relates exact real
numbers to topology? If so, let's start another thread.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algeb
Thanks Ralf, that makes a bit more sense. What exactly (formally) does
one get if one requires x/0 = 0? It is not a field or even a division
algebra, right?
On Thu, Mar 24, 2011 at 2:49 AM, Ralf Hemmecke wrote:
>> I don't know whether it is in fricas or not, but I have something on my
>> wish lis
Could you explain what you mean by "/ 0 = 0 for the field of real
numbers"? Are you talking about computation with exact reals? As far
as I know FriCAS does not include any implementation of exact real
arithmetic (yet). The best it can do is FLOAT, the domain of floating
point numbers with user s
od example of a CAS where there is a serious
attempt to automatically reduce expressions to canonical form but even
here there are many times when this must be avoided for specific types
of calculations.
Regards,
Bill Page
--
You received this message because you are subscribed to the Google Groups
&
inst the design
philosophy of Axiom. (There is also the Pattern domain which makes it
possible to do such rewriting at a higher level in Axiom.)
Regards,
Bill Page.
On Thu, Mar 17, 2011 at 5:56 AM, Ralf Hemmecke wrote:
> On 03/17/2011 10:19 AM, Yrogirg wrote:
>> I failed to find the answe
Ok then try
http://aplwiki.com/UnicodeAplTable?highlight=%28quad%29
quad is the APL I/O operator. But I would prefer blank as you
suggested. Why do we need APL characters?
On Tue, Mar 15, 2011 at 4:51 PM, Ralf Hemmecke wrote:
> On 03/15/2011 07:58 PM, Bill Page wrote:
>>
>>
Isn't QUAD just blank space as in LaTeX \quad or HTML nbsp; ?
On Tue, Mar 15, 2011 at 10:46 AM, Yrogirg wrote:
> There is a small problem. I didn't touch "$quadSymbol, -- APL
> quad" string, I had no idea what is the meaning of this symbol and how
> it is used. It wasn't of the form "makeCha
might not, be implemented.
> That is I'm trying to avoid talking about how OO data instances have
> run-time pointers to their procedures and SPAD doesn't.
>
Internally SPAD does have such run-time pointers. Remember Axiom is
built on lisp. But you are right to want to avoid f
nd obscure if it
was simply displayed, say to a Sage Notebook user.
If you have some ideas about how this sort of programmatic interface
to the Spad compiler might be implemented in a more user friendly way
then I think it would be great to include it in FriCAS. I would be
glad to try to hel
7;t mind confusing the issue with more abstract
considerations you might like to take a look at:
http://axiom-wiki.newsynthesis.org/SandBoxAldorInductiveTypes
The fact that this code is written in Aldor is not significant. The
same thing can be done in Spad.
Regards,
Bill Page.
--
You received t
(1) -> a:Float
Type: Void
(2) -> )display prop a
Properties of a :
Declared type or mode: Float
I never use this. Why does not using it make you feel uncomfortable?
FriCAS does not use readline by default, instead it uses som
ething is being loaded dynamically by the
interpreted when processing the ')compile ...' command. Do you have
any idea what this might be and how I can simulate this in the
STRING2SPAD function?
Regards,
Bill Page.
On Sun, Mar 6, 2011 at 10:50 AM, Waldek Hebisch
wrote:
> Bill Page wrote
list for FriCAS? I could think of
> a long list, but perhaps I should keep quiet, I suspect you won't
> agree with most of them?
>
I think you should not be discouraged by Waldek's response. I would
like to see what you have on your mind. If you feel inclined to
elaborate you
e other hand this would not allow the use of unicode in
interpreted and SPAD variable names.
BTW, the unicode symbols displayed just fine for me in gmail.
Regards,
Bill Page.
2011/3/6 Martin Baker :
> As an example I think it would be useful to support the greek
> alphabet, in this case I gue
function that I definted.
Alternatively I might be able to reference the interpreter variable
from lisp but I have forgotten exactly how to construct the variable
name at the lisp level. Hints?
Regards,
Bill Page.
On Fri, Mar 4, 2011 at 4:58 PM, Waldek Hebisch wrote:
> Bill Page wrote:
>
If I have a (long) string X containing some SPAD code with lines
separated by newline \n characters is there some way to get the
same effect as calling
)compile xxx
without writing X to a temporary file named 'xxx.spad'? Maybe at the
Lisp/Boot level?
--
You received this message because you are
Ralf,
One might wonder if after several years of sending these requests with
absolutely no response one might wonder whether it might be possible
to simply consider Aldor to be "abandoned" by it's principles and
proceed with resurrecting it under some new organization?
Regards,
If it affects other parts of Fricas why not create a new branch for testing?
On Sun, Dec 26, 2010 at 5:11 PM, Alexander Solovets wrote:
> Hi!
>
> Some month ago I had started to develop TeXmacs format output for
> fricas. Now it's completed and I want to ask how should I prepare my
> contribution
o I delete commands in the worksheet?
How do I enter text that is not a FriCAS command?
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to fricas-de...@
s, which is not very reliable, unfortunately. (eg.,
> saving results of the guessing package is currently broken. However,
> Waldek provided a fix, which only needs testing. You'll find it on the
> mailing list.)
Is there some way to just load and re-execute a simple series of
co
ed contents of the file. So I try File/Open
and select the file "test2". Now I guess I see what's in the file but
it doesn't look anything like it did before.
Any suggestions one how I can get past these flubbed steps and do
something useful with this? A basic How-To with a co
at FriCAS is doing very well. Thank you for
all your efforts and thanks also to the other developers who have
contributed to this project.
Congratulations on turning 3!
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer al
written for windows but a similar using a posix thread library
should also wok on linux.
Regards,
Bill Page.
On Mon, Sep 20, 2010 at 6:44 AM, Paul Glotov wrote:
> Hello!
> I want to write a plugin for FriCAS it worked in Texmacs.
> How to Use Markers in FriCAS to define where is Prom
ct-orientation differs from Axiom and it's
facilities for generic programming and abstract data types compares to
Axiom categories and domains.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
oncept of a mix-in is to a category with default
implementations?
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to fricas-de...@googlegroups.com.
To unsubscribe
some limitations and so does the wiki page
rendering software. Together that can cause image truncation and I
have never been able to solve that problem on the AxiomWiki.
Regards,
Bill Page.
On Sat, Jul 31, 2010 at 5:47 PM, Ralf Hemmecke wrote:
> Hello,
>
> Since Wikiped
Ralf,
It is mingw specific. Perhaps the following are useful to you:
http://www.mingw.org/wiki/LibraryPathHOWTO
Regards,
Bill Page.
On Tue, Jul 27, 2010 at 3:34 PM, Ralf Hemmecke wrote:
> case $build in
> *mingw*)
> fricas_pwd=`pwd -W`
> axiom_top_srcdir=`cd "$
l (the default) or hard. If _EnvTry is set to hard, is
and coulditbe calls can take exponential time."
If nothing else is known about 'a' and 'b' then we get the following result:
> is(a = b);
false
> is(a = a);
space;
> }
>
> solves that problem.
>
Excellent. Thanks, Ralf!
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to fricas-de...@googlegroups.com.
To
eger)
(3) theMap(#,303)
Type: (Integer -> Integer)
(4) -> g 3
(4) 5
Type: PositiveInteger
Regards,
Bill Page.
On Tue, Jun 15, 2010 at 11:38 AM, Ralf Hemmecke wrote:
> Is this to be expected?
>
&
On Sun, Jun 13, 2010 at 11:35 AM, Gabriel Dos Reis wrote:
> Bill Page writes:
>
> | On Sun, Jun 13, 2010 at 9:25 AM, Gabriel Dos Reis wrote:
> | >
> | > What I said for THIS SPECIFIC problem is that the implicit coerciion
> | > problem comes from
> | >
e
> # a couple of days ago: strange things can happen when operations are
> # overloaded just because one can, without much consideration for the
> # semantics.
>
Thanks Gaby.
> Bill Page wrote:
> | Does it make sense to use the
> | symbol * to denote mulitiplication of
ding of *. Does it make sense to use the
symbol * to denote mulitiplication of a Matrix by a row vector
(DirectProduct)?
Regards,
Bill Page.
On Sat, Jun 12, 2010 at 7:50 AM, Waldek Hebisch
wrote:
> Bill Page wrote:
>> Ralf,
>>
>> I think that the map
>>
>>
[2,2]
Type: DirectProduct(2,Fraction Polynomial Integer)
(9) ->
Why is this 2nd result for (8) not of the same form as the first
result for (8)? The only difference is
R:=Polynomial Integer
instead of
R:=Integer
Regards,
Bill Page.
On Fri, Jun 11, 2010 at 9:05 AM, Bill Page wrot
Ralf,
No. I asked why
*: (R, SquareMatrix(2, F) -> something
is easy when R = Integer. But it is not "easy" when R =
Polynomial(Complex Integer))?
Regards,
Bill Page.
On Fri, Jun 11, 2010 at 2:04 AM, Ralf Hemmecke wrote:
>>> But note, my question was about look
r. So I guess I must go back and try to understand
again why the result is a DirectProduct in your example.
Why is there no automatic coercion when R = Polynomial(Complex
Integer))? Is this some limitation of Fraction?
Regards,
Bill Page.
--
You received this message because you are subscribed t
n,R) satisfied Module(R).
If it did, then I think the question of coercion would be moot.
Regards,
Bill Page.
On Thu, Jun 10, 2010 at 2:05 PM, Ralf Hemmecke wrote:
> On 06/10/2010 07:17 PM, Bill Page wrote:
>> Ralf,
>>
>> What does the following have to do with Monoid?
>>
>
Ralf,
What does the following have to do with Monoid?
On Thu, Jun 10, 2010 at 1:06 PM, Ralf Hemmecke wrote:
> On 06/10/2010 06:33 PM, Bill Page wrote:
>> Ralf,
>>
>> I think that the map
>>
>> coerce : Fraction Polynomial Complex Integer -> %
>>
&
ically that way it apparently does now.
I think it would be worth trying to remove it (or renaming it) and see
what impact it has on the regression tests.
Regards,
Bill Page.
On Thu, Jun 10, 2010 at 11:01 AM, Ralf Hemmecke wrote:
> Does someone have an idea, why I get DirectProduct below?
>
is no danger of confusing it with the notation of a tuple
should be considered just a short form of
f: CROSS(A,B,C) -> CROSS(D,E)
There could be a similar short notation for UNION perhaps using [A, B,
C] where again A, B, and C are Types and there is no danger of
confusion with a lis
Martin,
The examples here
http://axiom-wiki.newsynthesis.org/GnuDraw
and associated left sidebar links, might be of some use to you.
Regards,
Bill Page.
On Fri, Jun 4, 2010 at 5:01 AM, Martin Baker wrote:
> I would appreciate any help to work out the best way to output a draw
> 3D imag
On Mon, Mar 22, 2010 at 4:21 PM, Waldek Hebisch wrote:
> ...
> Note: this is about reomoving support for building gcl
> inside FriCAS build tree. Building FriCAS using already
> installed gcl giving --with-lisp option should work as
> before.
>
> Anybody opposed this idea?
>
+1 Good idea!
--
Y
ter a 2nd
expression etc.). If this happens I know some ways to tweak the
fricas.py interface to prevent it. Let me know if you have problems.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
Rather than "lying" or expecting the system prove that "x^2+1 is
irreducible in R" I think the usual approach in Axiom would be to
introduce a declaration in the algebra library to this effect, i.e.
introduce a new category such as "Irreducible(x^2+1,R)".
On Fri, Mar 19, 2010 at 3:31 AM, Ralf He
of x by r, or
++ "failed" if r does not divide x exactly.
if R has EuclideanDomain then EuclideanDomain
if R has multiplicativeValuation then multiplicativeValuation
if R has additiveValuation then additiveValuation
if R has Field then-- this is a lie; we must k
algebras over
> Clifford algebras?
>
> Would I be right in assuming that FriCAS can't do this sort of thing
> at the moment?
>
I do not think there are any fundamental restrictions.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Googl
Type: DoubleFloat
(7) -> )version
Value = "Saturday November 28, 2009 at 18:17:42 "
Regards,
Bill Page.
On Fri, Mar 5, 2010 at 9:22 AM, Ralf Hemmecke wrote:
> This one deserves its own thread.
>
>>> Ano
d much to the readability though perhaps if u occurs
somewhere deeper in the body of the conditions it might help
u case A =>
...
(u::A).x
...
( At least for those people who remain "indentation challenged". :-)
Regards,
Bill Page.
On Fri, Feb 26,
sure which specific change might have corrected the problem.
http://axiom-wiki.newsynthesis.org/305
Thanks.
Regards,
Bill Page.
On Sun, Feb 21, 2010 at 6:23 PM, Waldek Hebisch
wrote:
> Bill,
>
> Did you wrote Issue 305 and "SandBox Lorentz Transformations"?
> Examples in th
equivalent would be a good idea. I also think it would
make sense for the emacs interface to depend on a similar (or even the
same) sty file.
Regards,
Bill Page.
On Sun, Jan 17, 2010 at 3:13 PM, wrote:
> On Fri, Jan 15, 2010 at 03:46:41PM -0500, Bill Page wrote:
>> I use
>>
I use
\def\zag#1#2{
{{\hfill \left. {#1} \right|}
\over
{\left| {#2} \right. \hfill}
}
}
on the axiom-wik.newsynthesis.org
I think I got that from either axiom.sty or perhaps some code embedded
in the Axiom book.
Regards,
Bill Page.
On Fri, Jan 15, 2010 at 11:32 AM, wrote:
> He
On Wed, Jan 6, 2010 at 10:58 PM, Waldek Hebisch wrote:
> Bill Page wrote:
>> On Sun, Nov 22, 2009 at 9:06 PM, Waldek Hebisch wrote:
>> >?In unlikely case that your changes have no bugs the next person
>> > changing this code is likely to break it: it is really tricky to
(%, %) -> %", so it is
> not too important, but I would count that behaviour as a bug.
>
As I said, I think it is more of a design bug. I know Gaby has
started to do some work in OpenAxiom to straighten this out but I
think it would be worthwhile to discuss it further. I did spend some
ti
On Mon, Dec 14, 2009 at 1:38 PM, Ralf Hemmecke wrote:
>
> Suppose I define a binary operator
>
> =: (%, %) -> %
>
> (which I could do in SPAD). I just use "=" as a fancy name for a binary
> infix operator (has nothing to do with equality).
>
> If I then write something like
>
> a=b*c=d
>
> what
e
avoidable. In fact I think it should be possible to make sure that it
works properly for all domains that have Comparable by default. For
example it should always be possible to at least create symbolic
operators for any such domain. Right?
Regards,
Bill Page.
--
You received this message beca
he first open
source Axiom project rather than focusing on extending and expanding
the use of hyperdoc. I cannot see any evidence at all that the use of
literate programming as such in the original Axiom project has
contributed anything to the acceptance of Axiom in the potential
user/developer co
On Sat, Dec 5, 2009 at 8:12 AM, Waldek Hebisch wrote:
> Bill Page wrote:
>> > Martin Rubey wrote:
>> >>
>> >> I would also like to see the rudimentary test file I sent to go with
>> >> this patch. ?One remark: as you probably know, I'm stron
lues different than domains as values?
If I remember correctly in the library Type is defined as 'with {}',
i.e. the "empty" category. So
x has Type
is true for all domains.
Would it make sense to write:
x:SetCategory := Integer
In other words: Is SetCategory a subtype o
think OpenAxiom did the wrong thing here
(at least in part), although OpenAxiom does at least define Domain as
a Domain in the the library.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To
Do you see any issues with the change of order in 'plus(f,
g)' below?
Question 3: Do you think the order defined on FreeGroup is a good one?
Regards,
Bill Page.
wsp...@debian:~/fricas-sources$ svn status
? src/share/spadhelp
--- Changelist 'free':
M src/algeb
Type: Boolean
(3) -> f "xy"
(3) false
Type: Boolean
(4) -> g x == if one? #x then 1 else 0
Type: Void
(5) -> g "x"
Compiling
t work for really general input form. As long as we keep
> the simplest forms untyped there should be no negative impact
> on plotting.
>
If every domain had a constructor function I think there would be no
negative impact - perhaps in some special cases even an improvement.
No?
Regards,
this patch but I
have not tested it extensively except for the problem which it was
intended to fix. I was more interested in discussing whether producing
a result with the minimum number of parenthesis allowed by the grammar
might be viewed as more "natural" than the current result that
includes ma
Portes
http://code.google.com/p/jyperdoc/
This has mostly been developed with the original Axiom project and
FriCAS's sister project OpenAxiom but the same methods will (for the
most part) work with FriCAS.
Regards,
Bill Page.
On Sat, Nov 21, 2009 at 9:50 AM, Andrey G. Grozin wrote:
&g
UEQUAL")
else AssociationList(Key, Entry))
@
I think that one might claim that this approach does allow some degree
of compile-time checking. But I admit that I am not sure how well
this model fits what you want to do with SMP.
Regards,
Bill Page.
--
You received this message be
complicated
> equations with mixed operations.
>
> What do you think would be the best way to do this (keeping in mind
> that I am a beginner with FriCAS)
>
I think you bring up a good point that this should be made easier to do.
Regards,
Bill Page
--
You received this message bec
opinion performance at the cost of
maintainability is a questionable trade-off.
Regards,
Bill Page.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to fricas-de...@googlegr
ive.
Usually I end up with a modified patch file that will not apply to the
existing source. One advantage of darcs is that it always breaks down
changes to a sequential set of (usually) very small patches - often
many per file. When committing changes to the repository one can
interactively choose
gt; The patch looks good but I do not know if you hit some problems
>> during testing and are busy solving them or you are occupied with
>> something else...
>>
On Wed, Oct 28, 2009 at 5:05 PM, Bill Page wrote:
> About Comparable: Yes, it was important for some things I wa
2009/11/10 Aleksej Saushev
>
> Bill Page writes:
>> It is true that the original 64-bit extensions to the Intel x86
>> architecture were due to AMD and these are now supported by both
>> AMD and Intel. This is what is currently called x86_64.
>
> Strictly speaking,
On Tue, Nov 10, 2009 at 11:58 AM, Waldek Hebisch wrote:
>
> Bill Page wrote:
>
>> Why does the tarball 'fricas-1.0.8.amd64.tar.bz2' use the name
>> 'x86_64-unknown-linux'? That confused me. Isn't it conventional to
>> distinguish between amd64
-
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----
(1) ->
---
Regards,
Bill Page.
On Tue, Nov 10, 200
On Mon, Nov 9, 2009 at 10:54 PM, Waldek Hebisch wrote:
>
> Bill Page wrote:
>>
>> As you see above, there is not explicit pointer to an algebra object.
>>
>> Rep := Record(value: S)
>>
>> is simply a "container" for things of type S.
15 Oct 2009)
Log Message:
---
* interp/buildom.boot: Tidy.
---
When ever you think the version of OpenAxiom installed on axiom-wiki
should be updated, please let me know and I will do so as soon as I am
able.
Regards,
Bill Page.
--~--~-~--~~~---~--~~
You receive
extensions. Maybe the name should really be
'fricas-1.0.8.x86_64.tar.bz2' ?
Not a big deal. I was just confused when I saw your reply to Martin.
Regards,
Bill Page.
--~--~-~--~~~---~--~~
You received this message because you are subscribed to th
On Mon, Nov 9, 2009 at 4:33 PM, Gabriel Dos Reis wrote:
>
> Bill Page writes:
>
> [...]
>
> | Of course with the definition above this is not possible. *If* FriCAS
> | did provide a good hash value for things of type Record (it currently
> | does not), then what you sugge
> ref ...
>
With a little "Lisp magic" I think it would be possible to create a
SingleInteger for any Axiom object based on it's memory address. But I
am not sure that this very useful. One feature that I think we want
for a hash code is that identical *values* should always
this looks like the binary is not compatible with
your system. I almost always build all flavors for Axiom from current
source. Would this be difficult for you?
Regards,
Bill Page.
On Mon, Nov 9, 2009 at 1:43 PM, Martin Baker wrote:
>
> Hi,
>
> I am attempting to install and run
901 - 1000 of 1443 matches
Mail list logo