Skip to content

$linear_coefficients does not expand var_group #180

@edwindj

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions