[Date Prev][Date Next][Thread Prev][Thread Next] [Search] [Date Index] [Thread Index]

Re: [FWP] Love & Hate shenanigans




On Wed, 28 Mar 2001, Philip Newton wrote:
> Ilmari Karonen wrote:
> > However, the output of either program isn't particularly interesting,
> > since there's a lot of repetition.  The reason for that is 
> > that for any Bullean pair ($a, $b), ($a.$c, $b) is also a Bullean
> > for any string $c.
> 
> Not quite. 'good' & 'bad' is a Bullean pair yielding 'bad', but 'good' &
> 'bad4' will not yield 'bad' nor 'bad4' -- it gives 'bad$'. For
> length($a)>=length($b), your description will hold, I think.

Um?  Your inequality holds for *all* Bullean pairs, since

  length($a & $b) == min(length($a), length($b))

and by definition for Bullean pairs

  ($a & $b) eq $b

which implies

  length($a & $b) == min(length($a), length($b)) == length($b)

-- 
Ilmari Karonen - http://www.sci.fi/~iltzu/
"I imagine that getting the crack of your ass vacuum-burned would put the
 world's worst case of hemorrhoids to shame!"  -- Charles Martin in rasfs



==== Want to unsubscribe from Fun With Perl?  Well, if you insist...
==== Send email to <fwp-request@technofile.org> with message _body_
====   unsubscribe