Opened 3 years ago

Closed 3 years ago

#29628 closed defect (fixed)

Wedge product of multivector field with scalar field

Reported by: Ricardo Buring Owned by:
Priority: major Milestone: sage-9.2
Component: geometry Keywords: manifolds, multivector_field, scalar_field
Cc: Eric Gourgoulhon 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 Eric Gourgoulhon)

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 3 years ago by Eric Gourgoulhon

Authors: Eric Gourgoulhon
Branch: public/manifolds/wedge_with_scalar_field-29628
Commit: 3f426c1a57d7381f07c29dea6e25cdd395fd8401
Status: newneeds_review

New commits:

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

comment:2 Changed 3 years ago by Eric Gourgoulhon

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

comment:3 Changed 3 years ago by Eric Gourgoulhon

Description: modified (diff)

comment:4 Changed 3 years ago by Ricardo Buring

Reviewers: Ricardo Buring
Status: needs_reviewpositive_review

Looks good to me! 👍

comment:5 Changed 3 years ago by Matthias Köppe

Milestone: sage-9.1sage-9.2

comment:6 Changed 3 years ago by Volker Braun

Branch: public/manifolds/wedge_with_scalar_field-296283f426c1a57d7381f07c29dea6e25cdd395fd8401
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.