Skip to content

$linear_coefficients does not expand var_group #180

Description

@edwindj
v <- validator(
  pos := var_group(x),
  pos = pos >= 0,
  lin = x + y == 20
)

v$linear_coefficients()

generates the following:

$A
         variable
validator pos x y
      pos  -1 0 0
      lin   0 1 1

$b
         variable
validator CONSTANT
      pos        0
      lin       20

$operators
  >=   == 
"<=" "==" 

Which is not as intended, var_group should be expanded or at least a warning should be generated.
See also data-cleaning/deductive#3

Activity

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

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions