FEniCS / ufl

81%

LAST BUILD ON BRANCH main

branch: SELECT

CHANGE BRANCH

x

• No branch selected
• 2025.2.0.post0
• 2025.2.1
• 2025.3.0
• 2026.1.0
• 2026.2.0
• chris/coveralls-token
• chris/pydocstyle
• chris/readme-updates
• chris/update-pyproject-license
• code-of-conduct
• dependabot/github_actions/actions/checkout-5
• dependabot/github_actions/actions/download-artifact-5
• dependabot/github_actions/actions/setup-python-5
• dependabot/github_actions/actions/setup-python-6
• dokken/diagonalise
• dokken/fix-warnings
• dokken/multiple_coordinate_elements
• dokken/test-release
• garth-wells-patch-1
• garth/spack-ci-update
• gh-readonly-queue/main/pr-264-dd46e978f319d05f91bc6e22b255375282120be1
• gh-readonly-queue/main/pr-387-e45f4018a6187f87ca068f8318c3ff012f8e0344
• gh-readonly-queue/main/pr-402-00d0a9ce91d8c9fc18d92fd38f640aa01aa79a99
• gh-readonly-queue/main/pr-403-ed988abce06978cefd0b6a13862b61a1b386910a
• gh-readonly-queue/main/pr-404-9824b20e00730bffa7025572a34f55a64b28a150
• gh-readonly-queue/main/pr-408-29ba01b7da3904b20a293164a6687ca9e2174121
• gh-readonly-queue/main/pr-409-7d74ff55da811a8f3ba6a184c9ba8603c592fad3
• gh-readonly-queue/main/pr-410-4adcd7b33288d4144e74e75a21fff8fb62b8b0d7
• gh-readonly-queue/main/pr-413-848435cf9ee6d186ef9fe3e50cd0f9c4fce387d5
• gh-readonly-queue/main/pr-414-f355a44d00761cf98fb5560fa10b46baee4b15be
• gh-readonly-queue/main/pr-416-c2e5a1cd00b14958c7d20bca33ddd824e7bc7666
• gh-readonly-queue/main/pr-417-295669375a72c41a3f90199a156ecce3a3cf7bd9
• gh-readonly-queue/main/pr-418-fe3cf5d9eafbba59ec0d45bde25006811ff6233e
• gh-readonly-queue/main/pr-419-04dad8133af9777d7295ec58aa9a548a79f1853b
• gh-readonly-queue/main/pr-420-4b39fd0dc9f26eabbf38f777c2dcf0abdaef5c21
• gh-readonly-queue/main/pr-421-efbc75f5a2e11aafc1f4e6a3b87f1f6e5f83529e
• gh-readonly-queue/main/pr-422-22a9cb650d2520e703653154a9f711160bb4141e
• gh-readonly-queue/main/pr-423-334f20ec6924b975b57b9857b320e5fdb9dec3c4
• gh-readonly-queue/main/pr-428-fe31a3fbdc07eba724ce90120e2d60298e652a94
• gh-readonly-queue/main/pr-430-afc60351b31f5d33c18f5f06c5de5561d3a401e1
• gh-readonly-queue/main/pr-433-67e8380a6d0519fdf0458f694a4f95807046c352
• jorgensd-patch-1
• main
• master
• michal/group-after-degree
• michal/group-form-integrals-optional
• patch-coveralls-badge
• release
• rm-as-native-str
• schnellerhase/ci-badges
• schnellerhase/drop-python-3.9
• schnellerhase/ffcx-werror
• schnellerhase/fix-documentation
• schnellerhase/fix_169
• schnellerhase/fix_386
• schnellerhase/new-ruff
• schnellerhase/python-3.14
• schnellerhase/remove-type-system
• simplify-ci
• spdx
• wence/fix/traversal-slow
• wence/flake8-update

Build # 42027036586

Build Type

push

github

Committed by web-flow

Commit Message

Negate a contracted Interpolate with free arguments as a form (#550)

* Negate a contracted Interpolate with free arguments as a form

Interpolate(v, cofunction) is a 1-form, but _value_parent_type follows the
target space, which is primal, so negating or scaling it gave an expression.
Subtracting it from a Form then raised a TypeError.

Return BaseForm when the dual slot contracts the value and free arguments
remain. Interpolate(v, V) and the 0-form Interpolate(u, cofunction) stay
expressions.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

* Treat a scaled Coargument dual slot as a free output

2 * Coargument and sums of Coarguments are FormSums, so checking the type of
the dual slot treated their output as contracted, and negation gave a
FormSum. Check for a Coargument among the arguments of the dual slot instead.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

Coverage Stats

3 of 3 new or added lines in 1 file covered. (100.0%)

10710 of 13217 relevant lines covered (81.03%)

0.81 hits per line