taskSavannah Administration - Tasks: task #15097, Submission of Clone1


task #15097: Submission of Clone1

Submitted by:  Daniel Wyckoff <deluger>
Submitted on:  Wed 28 Nov 2018 08:28:39 AM UTC  
Should Start On:  Wed 28 Nov 2018 12:00:00 AM UTC Should be Finished on:  Sat 08 Dec 2018 12:00:00 AM UTC
Category:  Project Approval Priority:  5 - Normal
Status:  Cancelled Privacy:  Public
Percent Complete:  0% Assigned to:  Ineiev <ineiev>
Open/Closed:  Closed Effort:  0.00

Add a New Comment (Rich Markup)

You are not logged in

Please log in, so followups can be emailed to you.


Mon 03 Dec 2018 03:45:41 PM UTC, comment #5: 

Thank you, cancelling.

Ineiev <ineiev>
Site AdministratorIn charge of this item.
Thu 29 Nov 2018 09:31:04 PM UTC, comment #4: 

Thanks.  I would actually prefer that, but just so you know the reason I filed a separate project is that 5 years down the road I'll probably have 100K lines of code in Clone Theory/Function Algebra (as I do in Boolean algebras), and I wanted to give people access to it as a separate entity, but I guess, there's always copy and paste!  I hereby cancel this submission, and request that you send me instructions as to how to do that formally, if you're forbidden access or something.  Happy Hacking!

Daniel Wyckoff <deluger>
Thu 29 Nov 2018 04:28:59 PM UTC, comment #3: 

If your tarball mostly consists of files from your previous project, I suggest that you proceed adding these new changes to it rather than registering a new Savannah group.

Ineiev <ineiev>
Site AdministratorIn charge of this item.
Thu 29 Nov 2018 01:01:10 AM UTC, comment #2: 

Hi Ineiev,
I included RCS files not with the intent of actually committing
it to CVS.  Last project, bool2, gave me the option of manually
committing files of my own choosing after acceptance of the tarball, so I was using that option in mind.
Also, thanks for letting me know to not commit tarballs of my flotsam and jetsam typing.  Its obvious why a compressed file shouldn't be committed, but there was something a bit superstitious that I'm no longer interested in preserving.  So, I will give you a non-RCS version of the tarball I just gave you.  Keep in mind that most of the files are copied and pasted from utilities in my previous development bool2.  The only new files are FunctionalAlgebrasBasics.v and CloneBasics.v.
Expect the tarball soon!  Happy Hacking!

Daniel Wyckoff <deluger>
Wed 28 Nov 2018 06:17:30 PM UTC, comment #1: 


Your tarball looks like a copy of a repository, please provide a distribution tarball instead; also, it would help if you didn't used a confusing .gz extension for non-compressed files.

Ineiev <ineiev>
Site AdministratorIn charge of this item.
Wed 28 Nov 2018 08:28:39 AM UTC, original submission:  

A new project has been registered at Savannah
This project account will remain inactive until a site admin approves
or discards the registration.

Registration Administration

While this item will be useful to track the registration process,
approving or discarding the registration must be done using the specific Group Administration page, accessible only to site administrators,
effectively logged as site administrators (superuser):

Registration Details

  • Name: Clone1
  • System Name:  clone1
  • Type: non-GNU software and documentation
  • License: GNU Lesser General Public License


Clone1 is the very beginnings of a formalization in Coq of function algebras and clone theory, following Dietlinde Lau's "Function Algebras on Finite Sets," published as a Springer monograph.  It's designed for Coq users and system researchers.  It's special because it's a companion to my previous Savannah repository -- bool2 -- which is still in maintenance and developed for general utilities.  The relation is that I strongly believe that a researcher in the metatheory of formalization in general, and of my development in particular, would want additional functionality, as will be provided by Clone1.  It's kind of a metahelp to bool2's help.  The key connection between Boolean algebras and function algebras is that the Boolean operators behave as in any other function algebra, and these operators are relevant to the systems aspect of bool2.  Imagine a digital space that undergoes automorphism, yet without reference to the Boolean operators, which are really
the gist of any Boolean system, and determine a lot of the global behavior.  Only a very rare class of relation structures can undergo permutation of relation induced by its universe.  A finite Boolean algebra is determined merely by the number of its atoms, and therefore operators are 99.9% of it, and are formally determined by atomic operations of no specific type.  So, function algebras on finite sets
makes sense as the next step for formalization.  And not, as I had previously thought -- free Boolean algebras -- 1/3 of which I have finished in bool2, post-Sikorksi's extension criterion. 

Other Software Required:

Coq v. 8.4pl4 + LGPL + https://coq.inria.fr/

Other Comments:

There are 10-key music files which I spend about an hour or so doing which act as some type of abstract communication between the notes itself and the size of the tar-ball.  This exists for the same reason that I imagine the request to generate computer activity while preparing the download release's "sig" file exists.  Anyway, it's innocuous, and is a bit superstitious, and a bit not. 

Tarball URL:


Daniel Wyckoff <deluger>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:

No files currently attached


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by ineiev (Posted a comment)
  • -email is unavailable- added by deluger (Submitted the item)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.




    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2018-12-03 ineiev StatusIn Progress => Cancelled
        Open/ClosedOpen => Closed
    2018-11-28 ineiev StatusNone => In Progress
        Assigned toNone => ineiev

    Back to the top

    Powered by Savane 3.5