GNU TeXmacs - Bugs: bug #63615, copy/paste in maxima plugin...
You are not allowed to post comments on this tracker with your current authentication level.
bug #63615: copy/paste in maxima plugin produces wrong input
Submitter: | Kostas Oikonomou <koikonomou> | ||
Submitted: | Tue 03 Jan 2023 10:20:26 PM UTC | ||
Category: | Plugins | Priority: | 5 - Normal |
Item Group: | Error | Status: | Wont Fix |
Privacy: | Public | Assigned to: | vdhoeven |
Originator Name: | Open/Closed: | Closed | |
Release: | None | Release: | |
Fixed Release: | None | Fixed Release: | |
Keywords: |
Mon 07 Aug 2023 11:15:03 AM UTC, comment #1: |
Joris van der Hoeven <vdhoeven> |
Tue 03 Jan 2023 10:20:26 PM UTC, original submission:
This is TeXmacs SVN 14093M, with maxima 5.46, on FreeBSD.
|
Kostas Oikonomou <koikonomou> |
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 5 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2023-08-07 | vdhoeven | Status | None | Wont Fix | |
Assigned to | None | vdhoeven | |||
Open/Closed | Open | Closed | |||
2023-01-03 | koikonomou | Attached File | - | Added bug.tm, #54186 | |
Attached File | - | Added bug.pdf, #54187 |
Powered by Savane 3.13-d3ae.
Corresponding source code
I think that this should be considered to be a bug in Maxima.
The point is that, in mathematics, the big summation operator usually has a larger binding force than the addition. This is the convention that allows you to write sum_i a_i + sum_i b_i.
In any case, this is what TeXmacs assumes. Of course, the fact that the right-hand x_i depends on i suggests an other convention. Still, I think that this is wrong.
I checked this on a large corpus of articles by mathematicians and I did not yet find a single paper that deviates from the standard (though implicit) convention.