Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.soft-sys.math.mathematica > #3297

Re: Assigning part of indexed object

From Oleksandr Rasputinov <oleksandr_rasputinov@hmamail.com>
Newsgroups comp.soft-sys.math.mathematica
Subject Re: Assigning part of indexed object
Date 2011-06-25 09:31 +0000
Organization Steven M. Christensen and Associates, Inc and MathTensor, Inc.
Message-ID <iu49t9$jpe$1@smc.vnet.net> (permalink)
References <itsjn7$8u7$1@smc.vnet.net> <itv7ve$pbu$1@smc.vnet.net> <iu1tp3$9kr$1@smc.vnet.net>

Show all headers | View raw


Regarding consistency, it is worth noting that there is a
problem with ReplacePart as a direct substitute for Set:

m = Range[5];

ReplacePart[m, 1 -> 10] :> {10, 2, 3, 4, 5}

but

m[[1]] = 10 :> ( m = {10, 2, 3, 4, 5}; 10 ) :> 10

the following is thus a better solution than what I had
posted previously:

Unprotect[Set];
Set[sym_[[part_]], val_] := (
  sym = ReplacePart[sym, part -> val];
  sym[[part]]
 );
Protect[Set];

Now:

Clear[m]; (* OwnValues will override DownValues *)
m[1] = Range[5];

m[1][[1]] = 10 :> ( m[1] = {10, 2, 3, 4, 5}; 10 ) :> 10

which is consistent with other uses of Set.

On Jun 24, 12:52 pm, "Fabrice P. Laussy" <fabrice.lau...@n0spam-
gmail.com> wrote:
> Dear all,
>
> Thanks for the solution. Supplemented with Oleksandr Rasputinov's fix:
>
> > Unprotect[Set];
> > Set[sym_[[part_]], val_] := sym = ReplacePart[sym, part -> val];
> > Protect[Set];
>
> it works splendidly.
>
> In "some elements of Mathematica Design (1992)" [http://goo.gl/nm1tT],
> Stephan Wolfram makes a point where one should resist the temptation to
> design functions to do things that look natural for them to do, as they
> could break dramatically later on.
>
> Here we have a clear case where Set seems it ought to work as redesigned by
> Oleksandr. Is there any reason for this not being the default behaviour?

Back to comp.soft-sys.math.mathematica | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Assigning part of indexed object "Fabrice P. Laussy" <fabrice.laussy@n0spam-gmail.com> - 2011-06-22 11:29 +0000
  Re: Assigning part of indexed object Valeri Astanoff <astanoff@gmail.com> - 2011-06-23 11:25 +0000
  Re: Assigning part of indexed object magma <maderri2@gmail.com> - 2011-06-23 11:26 +0000
  Re: Assigning part of indexed object Oleksandr Rasputinov <oleksandr_rasputinov@hmamail.com> - 2011-06-23 11:27 +0000
    Re: Assigning part of indexed object "Fabrice P. Laussy" <fabrice.laussy@n0spam-gmail.com> - 2011-06-24 11:52 +0000
      Re: Assigning part of indexed object Oleksandr Rasputinov <oleksandr_rasputinov@hmamail.com> - 2011-06-25 09:31 +0000
  Re: Assigning part of indexed object Leonid Shifrin <lshifr@gmail.com> - 2011-06-25 09:30 +0000
    Re: Assigning part of indexed object Oleksandr Rasputinov <oleksandr_rasputinov@hmamail.com> - 2011-06-26 10:31 +0000
    Re: Assigning part of indexed object Oleksandr Rasputinov <oleksandr_rasputinov@hmamail.com> - 2011-06-26 21:40 +0000
  Re: Assigning part of indexed object Leonid Shifrin <lshifr@gmail.com> - 2011-06-29 21:31 +0000
    Re: Assigning part of indexed object "Oleksandr Rasputinov" <oleksandr_rasputinov@hmamail.com> - 2011-07-01 00:46 +0000

csiph-web