On 2/22/07, David Joyner <[EMAIL PROTECTED]> wrote: > > This problem could be good, I don't know why but I like to work on hard > > problems ... Where could I find some documentation about it? Could you > > help me to start on it? > > > > 1. Leon has several papers, referenced in the GUAVA manual > http://cadigweb.ew.usna.edu/%7Ewdj/gap/GUAVA/htm/chapBib.html, > which are hard to read but certainly detailed and relevant. > If you download guava 2.7 (not version 2.8 included in SAGE) from > http://cadigweb.ew.usna.edu/%7Ewdj/gap/GUAVA/ or from the GAP web page > you'll see Leon's program in the subdirectory guava2.7/src/leon. The > subdirectory > doc has a manual of Leon's "backtracking" programs written in C. > One direction to start is to read Leon's C code and re-write the entire > thing > (not just modify it and create a "derivative work").
If you read that program and then write something else, it is by definition a derivative work. What is the license of Leon's program? if it isn't open source, then reading it and writing something based on it is a potential copyright violation. Please be careful. -- William Stein Associate Professor of Mathematics University of Washington --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
