Re: Boolean As a Top Level Name

2016-09-12 Thread Timothe Litt

On 11-Sep-16 18:19, Lincoln A Baxter wrote:
> Having followed this discussion (more or less, I have no clue what the
> MiuneMcCluskey alorithm is), but I like Logic::Minimise
>
> Lincoln
Quine-McCluskey is used to simplify boolean functions.  It's similar to
Karnaugh maps, which may be familiar to more folks.  But if you think of
it as an expression optimizer similar to what compilers do, you have the
idea.

The problem is that QM is NP-hard O(3**n/n).  For non-toy problems, one
partitions the problem manually and/or uses something else: e.g.
EXPRESSO (BSD licensed, could be incorporated into a Perl module).

Logic::Minimize works for me.  (I won't get into the British vs. U.S.
spelling argument.)

I don't see much point in a pure QM implementation, except as an
educational exercise for students. 

I also don't see much point in separating the algorithm from
Logic::Minimize; as an implementation detail, you could have
Logic::Minimize::Expresso and/or Logic::Minimize::QM as internal
namespaces - mostly to allow for any breakthroughs in algorithms.  The
inputs and outputs of any such algorithm are stable, so changing under
the covers should not be hard.  Simply wrapping an algorithm to create
the Logic::Minimizer namespace doesn't add any value; there's no
additional (meaningful) level of abstraction.


Timothe Litt
ACM Distinguished Engineer
--
This communication may not represent the ACM or my employer's views,
if any, on the matters discussed. 





smime.p7s
Description: S/MIME Cryptographic Signature


Re: Boolean As a Top Level Name

2016-09-12 Thread David Cantrell
On Sat, Sep 10, 2016 at 02:46:18PM +0200, Paul Johnson wrote:

>  - The correct spelling is Logic::Minimise

Try searching for "minimise" at oed.com. See also
https://en.wikipedia.org/wiki/Oxford_spelling

But in summary, "minimise" is an acceptable alternative spelling for
"minimize", both are correct.

-- 
David Cantrell | http://www.cantrell.org.uk/david

There are two kinds of security, the one that keeps your sister
out, the one that keeps the government out and the one that
keeps Bruce Schneier out.


Re: Where to report bugs in website 'search.cpan.org' ?

2016-09-12 Thread David Cantrell
On Fri, Sep 09, 2016 at 12:50:49AM -0700, L. A. Walsh wrote:

>Was interesting for a bit -- but it seems like the discussion
> sorta drizzled out w/o any decisions as it appears the stakeholders are
> not willing to participate.  Since the cpanratings people aren't willing
> to even participate in fixing the problems, the ratings should, *at least*
> be removed from the search site ...

I believe that if you want changes made to search.cpan.org you need to
talk to Graham Barr.

-- 
David Cantrell | top google result for "internet beard fetish club"

Erudite is when you make a classical allusion to a
feather.  Kinky is when you use the whole chicken.


Re: Boolean As a Top Level Name

2016-09-12 Thread Paul Johnson
On Mon, Sep 12, 2016 at 12:44:13PM +0100, Smylers wrote:
> Paul Johnson writes:
> 
> > To be clear, my tongue was firmly in my cheek for that last
> > suggestion, but that doesn't seem to travel too well over SMTP.
> 
> Sure, I realized it was a cheeky suggestion.
> 
> But there are enough UK folk about who complain about -ize being “an
> Americanism” that there might've been readers who genuinely thought
> ‘minimize’ is wrong in the UK.
> 
> > And the myriad smileys which adorned my initial message seem to have
> > been similarly lost.
> 
> Since my previous mail, my MP3 player started playing this podcast at
> me, on the linguists of “maths”: http://relprime.com/thelexicon/
> 
> So maybe Math::Boolean::Minimise would be the best name, to annoy
> everybody equally?

If anyone, beyond Smylers and me, is interested in more of this stuff, I
recommend http://separatedbyacommonlanguage.blogspot.com/ by
@lynneguist, author of the podcast above.

But that's quite enough now for this forum...

-- 
Paul Johnson - p...@pjcj.net
http://www.pjcj.net


Re: Boolean As a Top Level Name

2016-09-12 Thread Smylers
Paul Johnson writes:

> To be clear, my tongue was firmly in my cheek for that last
> suggestion, but that doesn't seem to travel too well over SMTP.

Sure, I realized it was a cheeky suggestion.

But there are enough UK folk about who complain about -ize being “an
Americanism” that there might've been readers who genuinely thought
‘minimize’ is wrong in the UK.

> And the myriad smileys which adorned my initial message seem to have
> been similarly lost.

Since my previous mail, my MP3 player started playing this podcast at
me, on the linguists of “maths”: http://relprime.com/thelexicon/

So maybe Math::Boolean::Minimise would be the best name, to annoy
everybody equally?

Smylers
-- 
http://twitter.com/Smylers2


Re: Boolean As a Top Level Name

2016-09-12 Thread Paul Johnson
To be clear, my tongue was firmly in my cheek for that last suggestion,
but that doesn't seem to travel too well over SMTP.  And the myriad
smileys which adorned my initial message seem to have been similarly
lost.

3/10 must try harder

(Smylers, well done on avoiding the past participle of "spell".)

On Mon, Sep 12, 2016 at 11:55:07AM +0100, Smylers wrote:
> Paul Johnson writes:
> 
> >  - The Logic namespace looks like a mess, but I think this module would
> >fit better in there: Logic::Minimize
> >  - The correct spelling is Logic::Minimise
> 
> UK English allows both -ize and -ise endings on many verbs*; USA English
> only has -ize. So picking the one that's valid in both makes more sense.
> 
> There are plenty of cases (like ‘colour’/‘color’) where UK and USA
> spellings are disjoint and you just have to pick one which will be
> ‘wrong’ somewhere, but this isn't one of those cases.
> 
> Smylers
> 
> * I believe -ize was the original UK form, in use at the point when the
>   USA forked English. The UK later took on -ise as an alternative,
>   influenced by French, but the USA didn't cherry-pick that patch to
>   their branch.
> 
>   Oxford dictionaries use the -ize spellings in headwords and list -ise
>   as acceptable alternatives; other UK dictionaries tend to do it
>   t'other way round, but all allow both.
>   http://www.oxforddictionaries.com/definition/english/minimize
> 
> -- 
> http://twitter.com/Smylers2
> 

-- 
Paul Johnson - p...@pjcj.net
http://www.pjcj.net


Re: Boolean As a Top Level Name

2016-09-12 Thread Smylers
Paul Johnson writes:

>  - The Logic namespace looks like a mess, but I think this module would
>fit better in there: Logic::Minimize
>  - The correct spelling is Logic::Minimise

UK English allows both -ize and -ise endings on many verbs*; USA English
only has -ize. So picking the one that's valid in both makes more sense.

There are plenty of cases (like ‘colour’/‘color’) where UK and USA
spellings are disjoint and you just have to pick one which will be
‘wrong’ somewhere, but this isn't one of those cases.

Smylers

* I believe -ize was the original UK form, in use at the point when the
  USA forked English. The UK later took on -ise as an alternative,
  influenced by French, but the USA didn't cherry-pick that patch to
  their branch.

  Oxford dictionaries use the -ize spellings in headwords and list -ise
  as acceptable alternatives; other UK dictionaries tend to do it
  t'other way round, but all allow both.
  http://www.oxforddictionaries.com/definition/english/minimize

-- 
http://twitter.com/Smylers2