Menu

#96 Ctensor patch

None
open
None
5
2023-10-18
2020-07-17
No
  • a number of fixes by Richard Gobeli July 16, 2020.
  • bug fix for leinstein in frames. It was not multipled by lfg.
  • bug fix to make coframe a mixed tensor like the frame. Corrected all used cases.
  • So the frame is transposed inverse of coframe as in Macsyma 2.4 ©1982-1999.
  • added a signature when ct_coordsys([equations]) has ct or t in ct_coords.
  • added ctrgsimp test to ct_coordsys of equations.
  • added ctrgsimp test for ctransform and added a ctransformlist from a list of equations.
  • corrected conical coframe sign errors.
  • corrected paraboloidal order of coordinates and the coframe.
  • corrected confocalellipsoidal coframe. sqrt(expression) did not
  • simply correctly when difference products got changed with a minus sign.
  • corrected oblatespheroidalsqrt denom of lg[2,2] is (1-v^2)
  • corrected bipolarcylindrical error in sign of fri[1,1] and lg result
1 Attachments

Related

Patches: #96

Discussion

  • Richard Gobeli

    Richard Gobeli - 2020-07-17

    Here are cframe examples and no frame examples using WxMaxima

     
  • Viktor Toth

    Viktor Toth - 2020-07-21
    • assigned_to: Viktor Toth
    • Group: -->
     
  • Viktor Toth

    Viktor Toth - 2020-07-21

    Thank you for this submission. Please allow me to evaluate before accepting.

     
  • Richard Gobeli

    Richard Gobeli - 2020-07-21

    I see my comment has a misspelling. It should read like below:

    • simplify correctly when difference products got changed with a minus sign.

    Thanks for checking.

     
  • Richard Gobeli

    Richard Gobeli - 2020-08-01

    I needed to extend the ctransformlist to include the new ct_coords so the derivitives of the new equations were done correctly. The list is now the same as used in the ct_coordsys ( equations_list).

     

    Last edit: Richard Gobeli 2020-08-01
  • Richard Gobeli

    Richard Gobeli - 2020-09-25

    I corrected your contragrade fix and added a coframe transform function ctransformfrilist. I added and not corrected.

     

    Last edit: Richard Gobeli 2020-09-25
    • Viktor Toth

      Viktor Toth - 2020-09-28

      Thank you. Thought I'd let you know, the patch is not forgotten; working on incorporating it, I am just insane busy with other things, too, and juggling time. But it will be in the next version.

       
  • Richard Gobeli

    Richard Gobeli - 2020-09-25

    Here is a demonstration of the transforms.

     
  • Richard Gobeli

    Richard Gobeli - 2020-09-27

    Coordinate systems were varified with this comparison to original transform equations using ctransfomlist.

     
  • Richard Gobeli

    Richard Gobeli - 2021-01-28

    I see many coordinate transforms are new coordinates in terms of old coordinates. When there is not a possible way to get the inverse equations of old coordinates in terms of new coordinates, the current ctransformlist will not work.
    I added an option parameter at the end like this newlg: ctransformlist(lg,list,inverse). The list of equations are new coordinates in terms of old. It calculates the transform for the new to old and then does an invert of the transform and used it without coordinate substitution. The same was done for the ctransformfrilist(fri,list,inverse).
    I uploaded the new ctensorpath.mac file plus an example transformation file.

     
  • Richard Gobeli

    Richard Gobeli - 2021-01-28

    I had a spelling mistake in names in both files.

     
  • Richard Gobeli

    Richard Gobeli - 2021-01-28

    I found out I need to do no substitution when restoring back to original metric from the inverse metric. This in done with the option nosub instead of inverse.

     
  • Richard Gobeli

    Richard Gobeli - 2021-08-19

    I think there is a misunderstanding of what the tensor fri should look like. Here are some screen clips of Macsyma help, I have running in windows XP from copyright 1999.

     
  • Richard Gobeli

    Richard Gobeli - 2021-08-26

    shouldn't the leinstein function use the _lg() function in the following lines:

    lein[i,j]:if diagmetric then ein[i,j]+lg[i,j]
    else sum(ein[i,k%]*lg[k%,j].k%,1,dim),

    This is so the lfg is used when the cframe_flag is true and lg is used when cframe_flag is false.

     
  • Richard Gobeli

    Richard Gobeli - 2021-09-16

    Did you see this change or do I need to put this also as a bug report?

     
  • Viktor Toth

    Viktor Toth - 2021-09-17

    Yes, I am aware of this patch and already implemented some of it. The rest, I am still contemplating. MACSYMA's implementation wasn't perfect so I don't necessarily believe that we need to follow it slavishly, therefore I am still hesitant about some of the suggestions here. Thank you very much for your hard work, though.

     
  • Richard Gobeli

    Richard Gobeli - 2021-09-17

    I understand about the other changes, but the last comment was about the using lg() function in the lowering of the one index of Einstein tensor to get lein. If cframe_flag is true the lfg should be used and not lg. This error was also mentioned in the Physics Forums. some time ago. example is this thread. https://www.physicsforums.com/threads/brs-using-maxima-for-gtr-computations.378991/#post-2584071

     
  • Gunter Königsmann

    Got a cryptic report about this patch for wxMaxima that seems to indicate that it might cause regressions in maxima: https://github.com/wxMaxima-developers/wxmaxima/issues/1823

     
  • Richard Gobeli

    Richard Gobeli - 2023-10-18

    This patch had nothing to do with the invert function plus Viktor only so far fixed only some rarely used metrics.

     
    • Viktor Toth

      Viktor Toth - 2023-10-19

      Dear Richard:

      Just wanted to assure you that it's not sloppiness on my part. I have
      had some reservations concerning your patch, and also related fixes that
      are "in the works", but I see no reason to be hasty, and I'd rather make
      sure that the math is robust before messing up things. There will be
      incremental fixes to come to ctensor, with apologies for being slow, as
      I have to manage priorities.

      Viktor

      On 10/18/2023 2:48 AM, Richard Gobeli wrote:

      This patch had nothing to do with the invert function plus Viktor only
      so far fixed only some rarely used metrics.


      [patches:#96] https://sourceforge.net/p/maxima/patches/96/ Ctensor
      patch

      Status: open
      Group:
      Created: Fri Jul 17, 2020 11:18 PM UTC by Richard Gobeli
      Last Updated: Wed Oct 18, 2023 05:51 AM UTC
      Owner: Viktor Toth
      Attachments:

      *

      ctensorpatch.mac
      <https://sourceforge.net/p/maxima/patches/96/attachment/ctensorpatch.mac>
      (67.7 kB; application/octet-stream)
      

      *

      a number of fixes by Richard Gobeli July 16, 2020.
      
      • bug fix for leinstein in frames. It was not multipled by lfg.
      • bug fix to make coframe a mixed tensor like the frame. Corrected
        all used cases.
      • So the frame is transposed inverse of coframe as in Macsyma 2.4
        ©1982-1999.
      • added a signature when ct_coordsys([equations]) has ct or t in
        ct_coords.
      • added ctrgsimp test to ct_coordsys of equations.
      • added ctrgsimp test for ctransform and added a ctransformlist from
        a list of equations.
      • corrected conical coframe sign errors.
      • corrected paraboloidal order of coordinates and the coframe.
      • corrected confocalellipsoidal coframe. sqrt(expression) did not
      • simply correctly when difference products got changed with a minus
        sign.
      • corrected oblatespheroidalsqrt denom of lg[2,2] is (1-v^2)
      • corrected bipolarcylindrical error in sign of fri[1,1] and lg result

      Sent from sourceforge.net because you indicated interest in
      https://sourceforge.net/p/maxima/patches/96/

      To unsubscribe from further messages, please visit
      https://sourceforge.net/auth/subscriptions/

       

      Related

      Patches: #96


Log in to post a comment.