Skip to content

Add runtime consistency checks for @Lie macro#167

Merged
ocots merged 2 commits intomainfrom
lie
Apr 2, 2026
Merged

Add runtime consistency checks for @Lie macro#167
ocots merged 2 commits intomainfrom
lie

Conversation

@ocots
Copy link
Copy Markdown
Member

@ocots ocots commented Apr 2, 2026

  • Track which autonomous/variable arguments user explicitly provided
  • Add _get_TD and _get_VD accessor functions for type parameter extraction
  • Create __check_bracket_consistency function to validate operand compatibility
  • Always check TD/VD mismatches between typed operands
  • Only check user args against operands when explicitly provided
  • Update __transform_lie_poisson_expression to call consistency checks
  • Add 47 comprehensive test scenarios covering all TD/VD combinations
  • Fix test syntax errors with parentheses for macro + isa expressions

Fixes issue where autonomous/variable keyword arguments were silently ignored when used with already typed VectorField/Hamiltonian operands.

- Track which autonomous/variable arguments user explicitly provided
- Add _get_TD and _get_VD accessor functions for type parameter extraction
- Create __check_bracket_consistency function to validate operand compatibility
- Always check TD/VD mismatches between typed operands
- Only check user args against operands when explicitly provided
- Update __transform_lie_poisson_expression to call consistency checks
- Add 47 comprehensive test scenarios covering all TD/VD combinations
- Fix test syntax errors with parentheses for macro + isa expressions

Fixes issue where autonomous/variable keyword arguments were silently ignored
when used with already typed VectorField/Hamiltonian operands.
- Updated Project.toml version to 0.8.19-beta
- Added comprehensive changelog entry for Lie macro consistency checks
- Documented all new features, changes, fixes, and test improvements
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Apr 2, 2026

Breakage test results
Date: 2026-04-02 21:52:55

Name Latest Stable
OptimalControl compat: v0.8.19-beta compat: v0.8.19-beta

@ocots ocots merged commit 93cfc7a into main Apr 2, 2026
10 checks passed
@ocots ocots deleted the lie branch April 2, 2026 22:43
@ocots ocots mentioned this pull request Apr 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant