bugGNU TeXmacs - Bugs: bug #7684, texmacs input to maxima is...

 
 

You are not allowed to post comments on this tracker with your current authentification level.

bug #7684: texmacs input to maxima is incorrectly converted

Submitted by:  Ralf Treinen <treinen>
Submitted on:  Wed Feb 11 19:51:22 2004  
 
Category: PluginsPriority: 4 - Bit lower
Item Group: WishlistStatus: Need Info
Privacy: PublicAssigned to: Andrey Grozin <grozin>
Originator Name: Karl HegbloomOpen/Closed: Open
Release: 1.0.3Release: None
Fixed Release: NoneFixed Release: 
Keywords: maxima plugin

(Jump to the original submission Jump to the original submission)

Mon Sep 10 11:38:57 2012, comment #8:

No. Now we assume that the user has to insert * before <mathd>. So, this will become integrate(f3*1,x).

Andrey Grozin <grozin>
Project MemberIn charge of this item.
Sun Sep 9 06:52:03 2012, comment #7:

What if the user wanted to integrate a function named "f3"? wouldn't that be expanded into "integrate(f31,x)" ?

Miguel de Benito <mdbenito>
Project Member
Thu Aug 23 03:14:17 2012, comment #6:

I have a good idea. Let's rewrite "<mathd>" to "1,". Then "<big|int><something><mathd>x" will become "integrate(<something>1,x)". Also, "<big|int><mathd>x" will become "integrate(1,x)" (currently, it produces "integrate(,x)" - a syntax error).
If there will be no objections, I'll commit this change (to reduce plugin, too).

Andrey Grozin <grozin>
Project MemberIn charge of this item.
Thu Aug 9 10:08:05 2012, comment #5:

It would be nice if xd x could be made to work, if this is not too difficult (maybe simply rewrite <mathd> into <mathd> or so). Mathematically speaking, this is the correct semantics (x*d x being the differential form to be integrated).

Joris van der Hoeven <vdhoeven>
Project Administrator
Mon Aug 6 18:34:19 2012, comment #4:

Understood.

This requirement is however not stated in the documentation for the plugin. Maybe the whole arXiv document could be added as another subsection of the plugin's docs.

Miguel de Benito <mdbenito>
Project Member
Sat Aug 4 15:23:56 2012, comment #3:

Users of the maxima plugin are supposed to read arXiv:cs/0504039. It is clearly stated there that there should be no * before <mathd>.

Andrey Grozin <grozin>
Project MemberIn charge of this item.
Fri Aug 3 18:41:49 2012, comment #2:

I think dx should be preceded by "apply", multiplying doesn't make any sense to me. But it could to other people, so indeed, how would the user know?

There currently is a rule which replaces <mathd> with a comma. Maybe we could add a new one also replacing *<mathd>? I tried modifying maxima-input.scm but had no luck with a naive attempt. Anyway, I'm not sure this is a good idea.

Andrey, any comments?

Miguel de Benito <mdbenito>
Project Member
Mon Mar 26 21:06:02 2012, comment #1:

In the present version of texmacs (1.0.7.15) the missing parenthesis problem reported here has been fixed, so we could close the bug.

However, the sample equation in the document still does not work because of the (invisible) * before <mathd>. Maxima then complains :

-----------------
(%i1) tmint(a,b,(x^2+3x),x)

incorrect syntax: , is not a prefix operator
mint(a,b,(x^2+3x),
^
-----------------
(note the missing "t" in the output)

For the evaluation to proceed (and obtain the expected result) one needs to replace this hidden multiplication by "apply" (space) or nothing.

So the question now is: should dx be entered with * or apply? And how would the user know what is expected?

Philippe Joyez <pjoyez>
Project Member
Wed Feb 11 19:51:22 2004, original submission:

Debian user Karl Hegbloom reports the following error :

The integral form: I_a^b EXPR * mathd x
(S-F5 I _ a right ^ b right EXPR * d tab tab x)

.... when highlit in a document, copied (Esc-w), and pasted into a
Maxima session, translates to "int(a,b,EXPR)*mathdx", and this is
incorrect. It should look like: "integrate(EXPR,x,a,b)" instead.

When I asked Karl he confirmed that he is indeed pasting
the cut text into a maxima session running inside texmacs.
I asked Karl to send me a texmacs document producing this
error, it is attached.

Ralf Treinen <treinen>
Project Member

 

Attached Files
file #1064:  bug.tm added by treinen (1kB - application/octet-stream)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by vdhoeven (Posted a comment)
  • -unavailable- added by grozin (Posted a comment)
  • -unavailable- added by mdbenito (Posted a comment)
  • -unavailable- added by pjoyez (Posted a comment)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 6 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Fri Aug 3 18:41:49 2012mdbenitoPriority5 - Normal=>4 - Bit lower
      StatusNone=>Need Info
      Assigned toNone=>grozin
    Sat Feb 26 19:56:38 2005treinenOriginator Name=>Karl Hegbloom
    Tue Apr 20 11:39:32 2004ddaaCategoryUser Interface=>Plugins
    Wed Feb 11 19:51:22 2004treinenAttached File-=>Added bug.tm, #1045

    Back to the top


    Powered by Savane 3.1-cleanup