Opened 18 months ago

Closed 17 months ago

#29628 closed defect (fixed)

Wedge product of multivector field with scalar field

Reported by: rburing Owned by:
Priority: major Milestone: sage-9.2
Component: geometry Keywords: manifolds, multivector_field, scalar_field
Cc: egourgoulhon Merged in:
Authors: Eric Gourgoulhon Reviewers: Ricardo Buring
Report Upstream: N/A Work issues:
Branch: 3f426c1 (Commits, GitHub, GitLab) Commit: 3f426c1a57d7381f07c29dea6e25cdd395fd8401
Dependencies: Stopgaps:

Status badges

Description (last modified by egourgoulhon)

If P is a multivector field and f is a scalar field then f.wedge(P) is already defined 

sage: M = Manifold(3, 'M')
sage: X.<x,y,z> = M.chart()
sage: ddX = X.frame()
sage: ddx,ddy,ddz = ddX[:]
sage: P = x*ddy.wedge(ddz) + y*ddz.wedge(ddx) + z*ddx.wedge(ddy)
sage: f = M.scalar_field(x)
sage: f.wedge(P).display()
x*z d/dx/\d/dy - x*y d/dx/\d/dz + x^2 d/dy/\d/dz

but P.wedge(f) is not: 

sage: P.wedge(f)
...
AttributeError: 'DiffScalarFieldAlgebra_with_category.element_class' object has no attribute '_ambient_domain'

This is the multivector field analogue of #28579.

Change History (6)

comment:1 Changed 18 months ago by egourgoulhon

  • Authors set to Eric Gourgoulhon
  • Branch set to public/manifolds/wedge_with_scalar_field-29628
  • Commit set to 3f426c1a57d7381f07c29dea6e25cdd395fd8401
  • Status changed from new to needs_review

New commits:

​3f426c1Fix wedge product of multivector field with scalar field (trac #29628)

comment:2 Changed 18 months ago by egourgoulhon

Thanks for reporting this; a fix is proposed in the above commit.

comment:3 Changed 18 months ago by egourgoulhon

  • Description modified (diff)

comment:4 Changed 18 months ago by rburing

  • Reviewers set to Ricardo Buring
  • Status changed from needs_review to positive_review

Looks good to me! 👍

comment:5 Changed 18 months ago by mkoeppe

  • Milestone changed from sage-9.1 to sage-9.2

comment:6 Changed 17 months ago by vbraun

  • Branch changed from public/manifolds/wedge_with_scalar_field-29628 to 3f426c1a57d7381f07c29dea6e25cdd395fd8401
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.