Skip to content

d_ with mixed-dimension indices contracts #727

Open

Description

@jodavies

d_ with mixed-dimension indices should probably not contract with anything, but rather just sit "inert"? For eg,

Index i4;
Symbol n;
Dimension n;
Index in;

Local test1 = d_(i4,in)*d_(in,i4);
Local test2 = d_(in,i4)*d_(i4,in);
Local test3 = d_(in,i4)*d_(in,i4);
Local test4 = d_(i4,in)*d_(i4,in);

Print +s;
.end

yielding

   test1 =
       + n
      ;

   test2 =
       + 4
      ;

   test3 =
       + 4
      ;

   test4 =
       + n
      ;

Activity

  1. github-actions commented on Jun 26, 2026

    @github-actions

    This issue has been marked as stale after 90 days of inactivity. It will be closed automatically in 30 days unless there is any further activity. If this issue is still relevant, please leave a comment to keep it open.

  2. added
    staleNo recent activity. This may be closed if there is no further activity.
    on Jun 26, 2026
  3. added
    needs decisionDecision on the intended behaviour is needed before this can move forward.
    on Jun 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    needs decisionDecision on the intended behaviour is needed before this can move forward.staleNo recent activity. This may be closed if there is no further activity.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions