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: |

### 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)`