axiom-developer
[Top][All Lists]

## Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

 From: Ralf Hemmecke Subject: Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI) Date: Thu, 23 Jun 2005 13:28:59 +0200 User-agent: Mozilla Thunderbird 1.0 (X11/20041206)

```Axiom also allows to do something like that...
What should the line (6) f(n) return after a user modified line (5) to
n:=3? Will f(n) return 6 or 7? And what did the user expect?

Ralf

(1) -> k:=1

(1)  1
Type:
PositiveInteger
(2) -> f(n)==(free k; k:=k+1; n+k);

Type: Void
(3) -> n:=2

(3)  2
Type:
PositiveInteger
(4) -> f(n)
Compiling function f with type PositiveInteger -> PositiveInteger

(4)  4
Type:
PositiveInteger
(5) -> n:=2

(5)  2
Type:
PositiveInteger
(6) -> f(n)

(6)  5
Type:
PositiveInteger

```
{"ft_lang_label":"__label__en","ft_lang_prob":0.54928523,"math_prob":0.814677,"size":2054,"snap":"2019-26-2019-30","text_gpt3_token_len":785,"char_repetition_ratio":0.21170732,"word_repetition_ratio":0.44802868,"special_character_ratio":0.37000975,"punctuation_ratio":0.21527778,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9618791,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-07-21T17:10:34Z\",\"WARC-Record-ID\":\"<urn:uuid:3bb6421d-1c04-45af-8fb7-087826abb234>\",\"Content-Length\":\"8694\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b323ff4d-18ba-4d45-a689-53ccaeb69c4d>\",\"WARC-Concurrent-To\":\"<urn:uuid:8f5e8095-75af-4aad-82a4-7402611efc23>\",\"WARC-IP-Address\":\"209.51.188.17\",\"WARC-Target-URI\":\"https://lists.nongnu.org/archive/html/axiom-developer/2005-06/msg00344.html\",\"WARC-Payload-Digest\":\"sha1:S4HUV2QKZ23AJ3MD6POHUNAPGQRFJYQT\",\"WARC-Block-Digest\":\"sha1:MAMVOKO5BIJLR5O5V2YUJMGKMCWRVOO5\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-30/CC-MAIN-2019-30_segments_1563195527089.77_warc_CC-MAIN-20190721164644-20190721190644-00366.warc.gz\"}"}