fp_merge_drs: Return a merged defining relationship

fp_merge_drsR Documentation

Return a merged defining relationship

Description

This function, given one or more independent refining relationships, returns the most complete relationship, i.e. that which includes all the factors.

Usage

fp_merge_drs(f1, ...)

Arguments

f1

a formula.

...

other formulas.

Details

Defining relationships are represented as one side formulas, e.g. $I=ABC$ becomes ~A*B*C.

Value

a formula.

Examples

fp_merge_drs(~A*B*C, ~B*C*D)

adas.utils documentation built on April 12, 2025, 1:52 a.m.