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 )
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
| Authors: | → Eric Gourgoulhon |
|---|---|
| Branch: | → public/manifolds/wedge_with_scalar_field-29628 |
| Commit: | → 3f426c1a57d7381f07c29dea6e25cdd395fd8401 |
| Status: | new → needs_review |
comment:3 Changed 3 years ago by
| Description: | modified (diff) |
|---|
comment:4 Changed 3 years ago by
| Reviewers: | → Ricardo Buring |
|---|---|
| Status: | needs_review → positive_review |
Looks good to me! 👍
comment:5 Changed 3 years ago by
| Milestone: | sage-9.1 → sage-9.2 |
|---|
comment:6 Changed 3 years ago by
| Branch: | public/manifolds/wedge_with_scalar_field-29628 → 3f426c1a57d7381f07c29dea6e25cdd395fd8401 |
|---|---|
| Resolution: | → fixed |
| Status: | positive_review → closed |
Note: See
TracTickets for help on using
tickets.
New commits:
Fix wedge product of multivector field with scalar field (trac #29628)