I'm no set-notation guru... but might it not be clearer to express this as:

if(RequestScopes ∪ CandidateGrantedScopes)=={}

?

--&e

On Thu, Sep 14, 2017 at 4:20 PM, Eve Maler <eve@xmlgrrl.com> wrote:
Cigdem was suggesting a way to clarify a key set math formula in Grant Sec 3.3.4 during our rev 07 review, and I was struggling to figure out a way to format it the way she was suggesting, so in rev 08 I had just left it in place without changing it. But we figured out a rhetorical vs. formatting change that might clarify things a bit more: to change from this...

“{∪ resource {RequestedScopes\CandidateGrantedScopes}={}”

to this:

"{∪_of_resource {RequestedScopes\CandidateGrantedScopes}={}"

The intent is to say that you take the union over all the resource-mapped sets of the diff between RequestedScopes and CandidateGrantedScopes, and if that's empty, then you've got a slam-dunk case of issuing the RPT. The snippet "∪ resource" may be sufficient to convey that, but we thought "∪_of_resource" could be better. (Or maybe someone has some other improvement that's even better.)

If we have quorum in our call today, we could do a new motion just like the e-ballot to rev to 09 with that update, assuming we think it's necessary.

Eve Maler
Cell +1 425.345.6756 | Skype: xmlgrrl | Twitter: @xmlgrrl


_______________________________________________
WG-UMA mailing list
WG-UMA@kantarainitiative.org
https://kantarainitiative.org/mailman/listinfo/wg-uma




--
Andrew Hindle
Hindle Consulting Limited
+44 7966 136543


Hindle Consulting Limited is a company registered in England and Wales.  Company number: 8888564.
Registered office: Claremont House, Deans Court, Bicester, Oxfordshire OX26 6BW, UK.