Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Message from discussion partition_constructor and concrete_combinatorial refresh

Received: by 10.58.102.66 with SMTP id fm2mr871863veb.34.1348519031846;
        Mon, 24 Sep 2012 13:37:11 -0700 (PDT)
X-BeenThere: sage-combinat-devel@googlegroups.com
Received: by 10.220.154.5 with SMTP id m5ls3078059vcw.2.gmail; Mon, 24 Sep
 2012 13:37:11 -0700 (PDT)
Received: by 10.52.90.69 with SMTP id bu5mr2101279vdb.6.1348519031207;
        Mon, 24 Sep 2012 13:37:11 -0700 (PDT)
Date: Mon, 24 Sep 2012 13:37:10 -0700 (PDT)
From: Andrew Mathas <andrew.mat...@sydney.edu.au>
To: sage-combinat-devel@googlegroups.com
Message-Id: <42d3d2c5-2466-40b7-988b-9d96950142f7@googlegroups.com>
Subject: partition_constructor and concrete_combinatorial refresh
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_1226_29312561.1348519030922"

------=_Part_1226_29312561.1348519030922
Content-Type: multipart/alternative; 
	boundary="----=_Part_1227_10055462.1348519030922"

------=_Part_1227_10055462.1348519030922
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

Hi,

In removing some assertion statements from partition.py I broke the queue 
further down. I did two minor rebases of

partition_constructor_speedup-fh.patch
concrete_combinatorial_statistics_and_maps-cs.patch

so please refresh! 

As I caused the problem, I knew how to quickly fix it...but I am never sure 
if I am following protocol when I do this. Please let me know if it is 
better to do something else such as disable the patch etc.

Andrew

------=_Part_1227_10055462.1348519030922
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 7bit

Hi,<br><br>In removing some assertion statements from partition.py I broke the queue further down. I did two minor rebases of<br><br><div style="margin-left: 40px;">partition_constructor_speedup-fh.patch<br>concrete_combinatorial_statistics_and_maps-cs.patch<br></div><br>so please refresh! <br><br>As I caused the problem, I knew how to quickly fix it...but I am never sure if I am following protocol when I do this. Please let me know if it is better to do something else such as disable the patch etc.<br><br>Andrew<br>
------=_Part_1227_10055462.1348519030922--

------=_Part_1226_29312561.1348519030922--