Opened 2 years ago
Closed 2 years 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: |
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 2 years ago by
- Branch set to public/manifolds/wedge_with_scalar_field-29628
- Commit set to 3f426c1a57d7381f07c29dea6e25cdd395fd8401
- Status changed from new to needs_review
comment:2 Changed 2 years ago by
Thanks for reporting this; a fix is proposed in the above commit.
comment:3 Changed 2 years ago by
- Description modified (diff)
comment:4 Changed 2 years ago by
- Reviewers set to Ricardo Buring
- Status changed from needs_review to positive_review
Looks good to me! 👍
comment:5 Changed 2 years ago by
- Milestone changed from sage-9.1 to sage-9.2
comment:6 Changed 2 years ago by
- 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.
New commits:
Fix wedge product of multivector field with scalar field (trac #29628)