( ** Go back to PARENTPAGE ../Quotient-Set-by-an-Equivalence-Relation.html)
( ** Go back to HOMESITE https://www.tcnd.com)
( ** Go back to SetSphere https://www.setsphere.com)

Comparing JMX Java Distribution by Getting Their Quotient Set

We show how to compare JMX Java distribution by using equivalence relatiion to get the event listeners. Other equivalence relations are shown to get the kind of JMX connectors, event stream, etc.

ASPL 1> printblock Define the equivalence relation evn to select the subgroups with 'event'

ASPL 2> q evn := drx=.*event.*/i
Define the equivalence relation evn to select the subgroups with 'event' q evn := drx=.*event.*/i

ASPL 3> printblock Define the equivalence relation evn to select the subgroups with 'event' and elements with 'listener'

ASPL 4> q evnlsn := drx=.*event.*/i,frx=.*listener.*/i
Define the equivalence relation evn to select the subgroups with 'event' and elements with 'listener' q evnlsn := drx=.*event.*/i,frx=.*listener.*/i

ASPL 5> printblock Define the equivalence relation evnstm to select the subgroups with 'event' and elements with 'stream'

ASPL 6> q evnstm := drx=.*event.*/i,frx=.*stream.*/i
Define the equivalence relation evnstm to select the subgroups with 'event' and elements with 'stream' q evnstm := drx=.*event.*/i,frx=.*stream.*/i

ASPL 7> printblock Define the equivalence relation trx to select the subgroups with 'transform'

ASPL 8> q trx := drx=.*transform.*/i
Define the equivalence relation trx to select the subgroups with 'transform' q trx := drx=.*transform.*/i

ASPL 9> printblock Define the equivalence relation trx to select the subgroups with 'transform' and elements with 'transform'

ASPL 10> q trxtrx := drx=.*transform.*/i,frx=.*transform.*/i
Define the equivalence relation trx to select the subgroups with 'transform' and elements with 'transform' q trxtrx := drx=.*transform.*/i,frx=.*transform.*/i

ASPL 11> printblock Define the equivalence relation con to select the subgroups with 'connector'
Define the equivalence relation con to select the subgroups with 'connector'

ASPL 12> q con := drx=.*connector.*/i
Define the equivalence relation con to select the subgroups with 'connector' q con := drx=.*connector.*/i

ASPL 13> printblock Define the equivalence relation con to select the subgroups with 'connector' and elements with 'transform'

ASPL 14> q contrx := drx=.*connector.*/i,frx=.*transform.*/i
Define the equivalence relation con to select the subgroups with 'connector' and elements with 'transform' q contrx := drx=.*connector.*/i,frx=.*transform.*/i

ASPL 15> printblock Display the equivalence relations table

ASPL 16> q
Display the equivalence relations table q

ASPL 17> printblock Define the function event to get the quotient set ~evn

ASPL 18> DEF FN event := f&/~evn %%1 %%2
Define the function event to get the quotient set ~evn DEF FN event := f&/~evn %%1 %%2

ASPL 19> printblock Define the function eventlistener to get the quotient set ~evnlsn

ASPL 20> DEF FN eventlistener := f&/~evnlsn %%1 %%2
Define the function eventlistener to get the quotient set ~evnlsn DEF FN eventlistener := f&/~evnlsn %%1 %%2

ASPL 21> printblock Define the function eventstream to get the quotient set ~evnstm

ASPL 22> DEF FN eventstream := f&/~evnstm %%1 %%2
Define the function eventstream to get the quotient set ~evnstm DEF FN eventstream := f&/~evnstm %%1 %%2

ASPL 23> printblock Define the function transform to get the quotient set ~trx

ASPL 24> DEF FN transform := f&/~trx %%1 %%2
printblock Define the function transform to get the quotient set ~trx DEF FN transform := f&/~trx %%1 %%2

ASPL 25> printblock Define the function transformtransform to get the quotient set ~trxtrx

ASPL 26> DEF FN transformtransform := f&/~trxtrx %%1 %%2
Define the function transformtransform to get the quotient set ~trxtrx DEF FN transformtransform := f&/~trxtrx %%1 %%2

ASPL 27> printblock Define the function connectortransform to get the quotient set ~contrx

ASPL 28> DEF FN connectortransform := f&/~contrx %%1 %%2
Define the function connectortransform to get the quotient set ~contrx DEF FN connectortransform := f&/~contrx %%1 %%2

ASPL 29> printblock Display the functions table

ASPL 30> def
Display the functions table def

ASPL 31> printblock Display the quotient set for event in jmx1 and jmx2

ASPL 32> FN event(jmx1,jmx2)
Display the quotient set for event in jmx1 and jmx2 FN event(jmx1,jmx2)

ASPL 33> printblock Display the quotient set for event-listener in jmx1 and jmx2

ASPL 34> FN eventlistener(jmx1,jmx2)
Display the quotient set for event-listener in jmx1 and jmx2 FN eventlistener(jmx1,jmx2)

ASPL 35> printblock Display the quotient set for event-stream in jmx1 and jmx2

ASPL 36> FN eventstream(jmx1,jmx2)
Display the quotient set for event-stream in jmx1 and jmx2 FN eventstream(jmx1,jmx2)

ASPL 37> printblock Display the quotient set for transform in jmx1 and jmx2

ASPL 38> FN transform(jmx1,jmx2)
Display the quotient set for transform in jmx1 and jmx2 FN transform(jmx1,jmx2)

ASPL 39> printblock Display the quotient set for transform-transform in jmx1 and jmx2

ASPL 40> FN transformtransform(jmx1,jmx2)
Display the quotient set for transform-transform in jmx1 and jmx2 FN transformtransform(jmx1,jmx2)

ASPL 41> printblock Display the quotient set for connector-transform in jmx1 and jmx2

ASPL 42> FN connectortransform(jmx1,jmx2)
Display the quotient set for connector-transform in jmx1 and jmx2 FN connectortransform(jmx1,jmx2)

ASPL 43> printblock Display the quotient set for connectors by intersecting the elements in jmx1 and jmx2

ASPL 44> f&/drx=.*connect.*/i jmx1 jmx2
Display the quotient set for connectors by intersecting the elements in jmx1 and jmx2 f&/drx=.*connect.*/i jmx1 jmx2

ASPL 45> printblock Display the quotient set for connectors by intersecting the subgroups in jmx1 and jmx2

ASPL 46> d&/drx=.*connect.*/i jmx1 jmx2
Display the quotient set for connectors by intersecting the subgroups in jmx1 and jmx2 d&/drx=.*connect.*/i jmx1 jmx2

ASPL 47> printblock Display the subgroups symmetric difference between jmx1 and jmx2

ASPL 48> dD jmx1 jmx2
Display the subgroups symmetric difference between jmx1 and jmx2 dD jmx1 jmx2

ASPL 49> printblock Display the messaging classes in jmx1 that are not in jmx2

ASPL 50> fD/drx=.*messaging.*/i jmx1 jmx2
Display the messaging classes in jmx1 that are not in jmx2 fD/drx=.*messaging.*/i jmx1 jmx2

ASPL 51> printblock Display the transform classes in jmx1 that are not in jmx2

ASPL 52> fD/drx=.*transform.*/i jmx1 jmx2
Display the transform classes in jmx1 that are not in jmx2 fD/drx=.*transform.*/i jmx1 jmx2