KO
|
EN
gitlite โ search
Search
#python
#java
#python3
#arduino
#golang
#machine-learning
#rust
#html
#flask
#javascript
#seismology
#nodejs
conjecturing
โ 14
Open GitHub โ
Adding conjecturing to Sage
Download README (.md)
Explore Similar Repositories
avr-usb-keyboard
:
No description available.
Latrine
:
๐ก Locus Map GPS Live Tracking Server Script
toy-calculator
:
A toy parser for a talk about compilers
eslint-rules
:
Collection of various eslint-rules
generateOption
:
Option Generator
// repository documentation
Was this content helpful?
โ 0
(0 ratings)
Select Rating:
โ
โ
โ
โ
โ
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
conjecturing
?
Download (.md)
conjecturing ============ See the directory `spkg` for instructions on how to build and install a Sage package containing the expressions program. Once you have built and installed such a Sage package, you can use the Python files in the directory `sage` to interact with the package. Open the directory `sage` in a terminal window and start Sage. Usually this is done using the following command: $ sage Once Sage has started, you can load the file `conjecturing.py`: sage: attach('conjecturing.py') You can also choose to load any of the other files, but this is not necessary. An example run might look like this: sage: attach('conjecturing.py') sage: attach('numbertheory.py') sage: objects = [5, 10] sage: conjecture(objects, invariants, 1) Note that loading the file `numbertheory.py` sets the variable `invariants` to a list of invariants used in number theory.
