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.
>>
>> ref v == [v]
>>
>> returns this con
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.
>
> ref v== [v]
>
> returns this container as an object.
>
> > Unfortunately there is also the stup
Bertfried Fauser writes:
| Dear Bill,
|
| you got me on several point :-(
|
| The naming somehow suggested that there is really a pointer, as the
| code shows there
| isnt.
The idea of pointer is not far from the reality: A record of one or two
elements is just a CONS cell, and the fundament
Bertfried Fauser wrote:
>
> I just did a grep to try to find out where the domain 'Reference' is
> defined, but
> that seems a far too common name to search for...
>
There are to easy ways to search for domains. Text based:
grep '^Reference' *et
searches for word 'Reference' at start of a lin
Dear Bill,
you got me on several point :-(
The naming somehow suggested that there is really a pointer, as the
code shows there
isnt.
> the same code. The address is not of much importance.
I was thinking of the poiter to the value object... but no pointer no idea...
Sorry.
Ciao
BF.
--
% PD
Bill Page writes:
| On Mon, Nov 9, 2009 at 5:06 PM, Gabriel Dos Reis wrote:
| > ...
| > I've noticed that you (or axiom-wiki.newsynthesis.org) don't always run
| > a recent enough verson of OpenAxiom ;-p
| >
|
| Actually I usually do update my version of OpenAxiom whenever I notice
| some poste
On Mon, Nov 9, 2009 at 5:06 PM, Gabriel Dos Reis wrote:
> ...
> I've noticed that you (or axiom-wiki.newsynthesis.org) don't always run
> a recent enough verson of OpenAxiom ;-p
>
Actually I usually do update my version of OpenAxiom whenever I notice
some posted change that seems especially signi
Bill Page writes:
| 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 wh
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 suggest would be possible. In t
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 suggest would be possible. In that case one
| would return the hash for the container.
OpenAxiom pr
Bertfried,
Probably you are surprised by the implementation of the 'Reference':
<>=
)abbrev domain REF Reference
++ Author: Stephen M. Watt
++ Date Created:
++ Change History:
++ Basic Operations: deref, elt, ref, setelt, setref, =
++ Related Constructors:
++ Keywords: reference
++ Description:
Am Montag, 9. November 2009 schrieb Bertfried Fauser:
> Hi,
>
> I just did a grep to try to find out where the domain 'Reference' is
> defined, but
> that seems a far too common name to search for...
it is in boolean.spad
>
> Anyhow, in the domain Reference (see )sh REF ) one has functions which
12 matches
Mail list logo
