jakobkroeker / jk_test_sage Goto Github PK

View Code? Open in Web Editor NEW

0.0 0.0 0.0 0 B

manage a personal list of observed sage issues

jk_test_sage's People

Watchers

jk_test_sage's Issues

cannot use keywort strings as Singular variable names

R= QQ['x','or','z'] # will fail

observe http://trac.sagemath.org/ticket/11228

xgcd gcd issues

https://groups.google.com/forum/#!topic/sage-support/2PIO-lDqUgk

evaluate disappears in interactive input

evaluate disappears in interactive input after clicking it once
and it appears again when switching to another input cell and back

when updating package tarbal, the package gets not rebuild

if I update singular tarball,
Singular seems not to get rebuild.
That is not ok

pdf doc build fails on gentoo due to missing cyrillic encoding

(/usr/share/texmf-dist/tex/generic/babel/babel.def)

Package babel Warning: No hyphenation patterns were loaded for
(babel)                the language `Russian'
(babel)                I will use the patterns loaded for \language=0 instead.


! Package babel Error: No Cyrillic encoding definition files were found.

See the babel package documentation for explanation.
Type  H <return>  for immediate help.
 ...

l.91        lcyenc.def, lwnenc.def, ot2enc.def.}
                                                %
?
! Emergency stop.

l.91        lcyenc.def, lwnenc.def, ot2enc.def.}

comparison in sage

discussion thread
https://groups.google.com/d/msg/sage-devel/Wtu4UPeHNzw/aSeaMfuqs-oJ
https://groups.google.com/d/msg/sage-devel/-hyZgWDUH2I/wIzAK9QKVbwJ
https://groups.google.com/d/msg/sage-devel/QKyQ7j8o1yM/vUoDSI9KuQYJ
https://groups.google.com/d/msg/sage-devel/1aAlyxKeADc/VpAmp1XEdr4J

coercion is a bad idea and source of many subtle bugs
https://groups.google.com/d/msg/sage-devel/1rIMPfChUM4/uLEKIAU1AQAJ

https://trac.sagemath.org/ticket/20028
https://trac.sagemath.org/ticket/5503
https://trac.sagemath.org/ticket/9677
#13179
#13180

https://trac.sagemath.org/ticket/3936#comment:4

serach for
comparison sort
comparison inconsistent
comparison versus
comparison isomorphic
equivalent, equal(s),

gg : vbraun, nbruin, wstein, sking
bg: tscrim, sking, rmiller, wstein

GAP <=> sage translation issue?

get more details about the potential
GAP <=> sage translation issue
from Michael Cuntz

HTTPError: HTTP Error 413: Request Entity Too Large

is this an upstream issue or an issue on my computer?

REPORT
{'base': '7.4',
'deps': [17635],
'git_base': '1b1e6f608d1ef8ee664bb19e991efbbc68cbd51f',
'git_base_human': '7.4',
'git_branch': u'public/singular4',
'git_commit': 'f1a0dcc6c83ecac7ea4b0ebcd4638b7919047e58',
'git_commit_human': '7.4.beta5-95-gf1a0dcc',
'git_log': ['f1a0dcc Add Singular patch to fix interrupts',
'e748300 Apply Singular patches the usual way',
'd3ebc4a additional clean up',
"37fa8e7 Merge branch 'develop' into singular4",
'3c8503c adopt new upstream patch for xalloc. Make patching in spkg-src follow best practise.',
'cda6a68 Remove old, unused patch folder',
'8a99295 Add a .pc file to xalloc',
"133832d Merge branch 'develop' into singular4",
'76b7ea9 Singular 4.x (#17254): Fix last instance of lowercase singular executable usage.',
'3740cae Singular 4.x (#17254): Fix typo in interfaces/singular.py (syntax error).',
'4d25cd8 use cleaner import syntax to get SAGE_LOCAL',
'64b3710 clean up',
'd2cab45 Do not create singular (all lower case) and only use Singular',
'494f8b8 Fix changed doctest because of different blow-up.',
'29077a7 Use wildcards for singular and letterplace in module_list.py.',
'e5c10ae Cleaner removal of files.',
'55447da Do not build (a second time) libfactory when building Singular.',
"a0f55ea Singular.pc is now used everywhere. plural.pyx doesn't need givaro or readline or m anymore.",
'75e383a use Singular.pc almost everywhere',
'797c539 Improve the cleaning',
'399f051 Add cddlib as a dependency and make gfanlib building explicit',
'98cc68c Only try relevant extension for OS when loading libSingular.',
"4865a48 Make sure Singular's xalloc installs omConfig.h.",
'536d849 Make sure to delete Singular 3.x files.',
'51502d6 Simplify CFLAGS treatment for Singular.',
"aad26dc Fix non-existing include in singular's xalloc.",
'd69ac3d Remove Singular omalloc stuff.',
'8dcddb1 Singular 4.x (#17254): Temporarily (re-)implement is_squarefree() for mpolys.',
'fe8df87 Singular 4.x (#17254): Fix a few integer types w.r.t. width/signedness in singular.{pxd,pyx}.',
'0ed156d Singular 4.x (#17254): Restore setting defaults for CFLAGS and CXXFLAGS in spkg-install, minor fixes.',
'9a99f2c Singular, not singular!',
'f8362a9 Hopefully a singular tarball not invoking autostuff.',
'd6dee3c Fix enum in singular ring types.',
'cd00aa1 Remove print debug statement in singular lib.',
'b307cd0 Simplify cimport from singular.',
'a4d5418 Remove old comments in singular ring creation.',
'cd3cd2f Remove print debug statement in polynomial.pyx.',
'1d4ba4e Simplify verbosity for singular.',
'5f99779 Remove useless import.',
"0c7c6a9 Don't define useless variable.",
'34960ee Revert simpler old code to load libsingular.',
'c60efc2 Remove print debug statement in singular ring creation.',
'9124efc Purify enum for singular ring types.',
"b4dad30 Merge remote-tracking branch 'trac/u/dimpase/singular4' into singular",
'95b768a Modify error handling in Singular spkg-install.',
"aab3eb1 Merge branch 'u/cpernet/givaro_fflasffpack_linbox' of trac.sagemath.org:sage into givaroupd",
"457bd23 missing capital 'S' in Singular",
"0efcdec Merge branch 'public/singular4' into givaro 4.0.2 branch from #17635",
"cd30aec Merge branch 'u/cpernet/givaro_fflasffpack_linbox' of git://trac.sagemath.org/sage into givaroupd",
'7dd92be Fix singular debug build mode.',
'cfe9a9c Patch for Singular xalloc.',
'9f016ae Apply patches to singular before debug hacks.',
"85ce544 Merge branch 'u/cpernet/givaro_fflasffpack_linbox' of git://trac.sagemath.org/sage into givaroupd",
'7366fb6 Better script to package singular tarball.',
'dcd4e14 More changes for Singular 4.',
'526f0a2 Make sure old Singular lib files are deleted.',
'0192048 Update "arity code" constants for Singular 4.',
'c6eaaf4 New singular picks different ratfuncs.',
'cfc8c56 Rely on Singular ring type rather than Sage one.',
'5d18e56 Singular 4 puts sign outside of parentheses for floats.',
'e705c27 Better handling of Singular 4 floats printing.',
'21cf2a5 Hack to parse Singular polys with real coefficients.',
'e9b79db Remove hack for singular 1_.',
'765b60a Squarefree not implemented anymore by Singular for rings.',
'f9ae25e Different singular printing for ring names.',
'20e0b22 Fix update of coefficients in algext singular elements.',
'cbd3af3 Seemingly equivalent result.',
'6c88bc3 Singular now yields same result for ZZ and QQ.',
'a39f146 Different but (hopefully) equivalent Groebner basis.',
'50ed3b3 Warning disappeared in Singular (better implem?).',
'cc921ec Singular printing changes.',
'ace4d54 Spurious dot.',
'919165a Integer mod ring printing is not centered anymore in Singular.',
"75efae0 Let's stick with integer mod ring in Singular at the moment.",
'2d84044 In Singular 4 limit for exponents is the same on 32 and 64 bit.',
"62735be Let's use Singular finite field struct for finite rings of prime char.",
"9e14834 Merge remote-tracking branch 'trac/develop' into singular",
'a010eb5 New singular git version including gcc/gmp fix.',
'd0c7069 Update singular git version.',
'4a85552 enterid does not initialize underlying ring anymore, fix for function.pyx.',
'7e99c41 Use Singular git version.',
'3a5baec Work with Singular git version.',
"5b98496 Let's play with singular git version.",
'be4f5e7 Update Singular to 4.0.3p1.',
"637b2b7 Merge remote-tracking branch 'trac/u/jakobkroeker/tscrim.upgrade_singular-17254' into singular",
'ac8e614 fixed an upstream bug in brnoeth.lib and thus the failing test in src/sage/schemes/curves/projective_curve.py. TODO: upstream report/ upstream pull request',
'3cb4304 explained si_opt_1 and si_opt_2',
'738fe43 disable short output for Singular',
'a511817 added missing rComplete calls',
'b1e228e replacement for pLDeg from Singular 3 (behaviour of pLDeg changed in Singular 4)',
"9ec5134 Merge branch 'u/jakobkroeker/ticket.17254.Jeroen_Demeyer.version' of git://trac.sagemath.org/sage into u/jakobkroeker/ticket.17254.Jeroen_Demeyer.version",
'88ce71f call rComplete for singular ring',
'df297d6 add meaninful messages to Singular error',
'1426ad8 Fix singular include directories',
'5b8343b Upgrade to Singular-4.0.2'],
'git_merge': '22401ccb34145499d5f0fe0d76354a70adfc4999',
'git_merge_human': '7.4-96-g22401cc',
'machine': ['Fedora',
'23',
'x86_64',
'4.7.7-100.fc23.x86_64',
'localhost.localdomain'],
'owner': 'unknown owner',
'patchbot_version': '2.6.3',
'pending_status': 'plugins_failed',
'plugins': (),
'spkgs': [u'http://www.lmona.de/files/sage/singular-4.0.3p3.tar.bz2'],
'status': 'Pending',
'time': '2016-10-20 04:57:43',
'user': 'jakob'}
17254: Pending
Apply -- 13 seconds
http://www.lmona.de/files/sage/singular-4.0.3p3.tar.bz2 -- 13 seconds
Build -- 13700 seconds
commit_messages -- 23 seconds
coverage -- 33 seconds
non_ascii -- 0 seconds
doctest_continuation -- 0 seconds
foreign_latex -- 0 seconds
next_method -- 0 seconds
oldstyle_print -- 0 seconds
python3 -- 0 seconds
raise_statements -- 0 seconds
input_output_block -- 0 seconds
reference_block -- 0 seconds
triple_colon -- 0 seconds
trac_links -- 0 seconds
startup_time -- 2127 seconds
startup_modules -- 3 seconds
docbuild -- 1565 seconds
git_rev_list -- 4 seconds
Traceback (most recent call last):
File "/home/jakob/.local/lib/python2.7/site-packages/sage_patchbot/patchbot.py", line 1135, in test_a_ticket
if plugins_passed else 'plugins_failed')
File "/home/jakob/.local/lib/python2.7/site-packages/sage_patchbot/patchbot.py", line 1393, in report_ticket
fields, files))
File "/home/jakob/.local/lib/python2.7/site-packages/sage_patchbot/http_post_file.py", line 37, in post_multipart
return urlopen(r).read()
File "/usr/lib64/python2.7/urllib2.py", line 154, in urlopen
return opener.open(url, data, timeout)
File "/usr/lib64/python2.7/urllib2.py", line 437, in open
response = meth(req, response)
File "/usr/lib64/python2.7/urllib2.py", line 550, in http_response
'http', request, response, code, msg, hdrs)
File "/usr/lib64/python2.7/urllib2.py", line 475, in error
return self._call_chain(_args)
File "/usr/lib64/python2.7/urllib2.py", line 409, in _call_chain
result = func(*args)
File "/usr/lib64/python2.7/urllib2.py", line 558, in http_error_default
raise HTTPError(req.get_full_url(), code, msg, hdrs, fp)
HTTPError: HTTP Error 413: Request Entity Too Large

bug without a ticket?

https://groups.google.com/forum/#!topic/sage-support/lzdfgcjeHuo

vector weiredness

https://groups.google.com/forum/?_escaped_fragment_=topic/sage-devel/rvs5E6AEXVc#!topic/sage-devel/rvs5E6AEXVc

sage test output does not exactly mimic input

for example when sage testa are run with optional argument,
e.g. '--optional=sage,magma' ond/or with '--nodotsage'

in the summary output
sage -t --long src/sage/rings/polynomial/polynomial_rational_flint.pyx # 1 doctest failed
there is neither --nodotsage, nor --optional=sage,magma

variety documentation needs update

https://groups.google.com/forum/#!topic/sage-support/2ZhGKTu7ydg

sage trac: always specify for a ticket if it is a silent bug or not

when opening a new ticket, always specify if the bug is silent or not

when adding a comment, then update ticket 'silent wrong answer' if the comment
contains a silently failing example with wrong result.

extend sage review check list

add at least an advice to check for

reference to algorithm description, if it is not a well-known one, taught in school or first courses at university.
appropriate development documentation (e.g. class hierarchy, state transition diagrams,
internal code interdependencies,
implemented design patterns, call graphs, use cases
if needed
same for Singular review check list

sage: make it easy to continue to use anything you already use

see:
https://groups.google.com/forum/#!topic/sage-devel/KjeMWju7goU

How to overcome the following issue:

a developer wants to code stuff in sage instead of doing it in GAP,
depending on changes of GAP which maybe are not released yet.
Or, if they are released, they are not yet in sage because of the GAP upgrade delay in sage.

bug in hilbert numerator of a big ideal

https://groups.google.com/forum/#!topic/sage-devel/d1Bh41wLlyQ

todo: open a ticket

bug in educational buchberger over ZZ

sage: R.<x,y,z> = ZZ[]
sage: I = ideal(19,2*y+6)
sage: I
Ideal (19, 2*y + 6) of Multivariate Polynomial Ring in x, y, z over Integer Ring
sage: buchberger(I)
[2*y + 6, 19]
sage: buchberger_improved(I=
....: 
....: 
KeyboardInterrupt
sage: buchberger_improved(I)
[2*y + 6, 19]

evaluate handling in sage

first evaluate block:

i = 100
while i>1:
      print 5

or
i = 100
while i>1:
      pass

second evaluate block

i = 5
print i
# i is not printed

paste 1 st block.
evaluate 1st block
paste block 2
4 clicked on evaluate of block 2

Since it is possible to click on 'evaluate' on the second block, I (and several other people)
incorrectly assumed that it would execute. But the second one will not run before the first one
is interrupted by 'Action/Interrupt'

Illustrate it better (yes, I know, there is a red line on the left side of the first block) that the
first block is evaluating
that it should either not be possible to click on 'evaluate' of the second block until there is another block running or it should be at least printed "#waiting for evaluation of block 'xy'"

reported on sage-support
https://groups.google.com/forum/#!topic/sage-support/51181u3Stbg
todo: open a ticket

bug in sage-fix-pkg-checksums

when SAGE_ROOT is not defined, the script does nothing,
but it should at least warn the user.

find_roots : naming issue

here
https://groups.google.com/forum/#!topic/sage-support/WMyQqgAoDKs

a user suggests to name it
find_roots_aproximate

partitions issue

http://trac.sagemath.org/ticket/12278

interesting: http://trac.sagemath.org/ticket/7991

track ticket 17720

http://trac.sagemath.org/ticket/17720

compare flints gcd with singulars

track http://trac.sagemath.org/ticket/10576

report singular terrorist bugs

make doc pdf warnings

[polynomia] /home/kroeker/Projects/sage/src/doc/en/reference/polynomial_rings/index.rst:: WARNING: unusable reference target found: ../genindex.html
[polynomia] /home/kroeker/Projects/sage/src/doc/en/reference/polynomial_rings/index.rst:: WARNING: unusable reference target found: ../py-modindex.html
[polynomia] /home/kroeker/Projects/sage/src/doc/en/reference/polynomial_rings/index.rst:: WARNING: unusable reference target found: ../search.html

[combinat ] None:None: WARNING: undefined label: sage.coding (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.dynamics (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.graphs (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.coding (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.dynamics (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.graphs (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.groups.groups_catalog (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.databases.oeis (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.groups.perm_gps.permutation_groups_catalog (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.groups.matrix_gps.catalog (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.categories.category (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.groups.groups_catalog (if the link has no caption the label must precede a section header)
[combinat ] None:None: WARNING: undefined label: sage.graphs (if the link has no caption the label must precede a section header)
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/sage/combinat/algebraic_combinatorics.rst:: WARNING: unusable reference target found: ../../../../thematic_tutorials/algebraic_combinatorics.html
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/sage/combinat/algebraic_combinatorics.rst:: WARNING: unusable reference target found: ../../../../thematic_tutorials/lie.html
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/sage/combinat/algebraic_combinatorics.rst:: WARNING: unusable reference target found: ../../../../thematic_tutorials/linear_programming.html
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/sage/combinat/crystals/__init__.rst:: WARNING: unusable reference target found: ../../../../../thematic_tutorials/lie.html
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/sage/combinat/root_system/__init__.rst:: WARNING: unusable reference target found: ../../../../../thematic_tutorials/lie.html
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/sage/combinat/sf/sf.rst:: WARNING: unusable reference target found: ../../../../../thematic_tutorials/lie/lie_basics.html#partitions-and-schur-polynomials
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/index.rst:: WARNING: unusable reference target found: ../genindex.html
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/index.rst:: WARNING: unusable reference target found: ../py-modindex.html
[combinat ] /home/kroeker/Projects/sage/src/doc/en/reference/combinat/index.rst:: WARNING: unusable reference target found: ../search.html
[dynamics ] None:None: WARNING: undefined label: sage.combinat.e_one_star (if the link has no caption the label must precede a section header)
[dynamics ] /home/kroeker/Projects/sage/src/doc/en/reference/dynamics/index.rst:: WARNING: unusable reference target found: ../genindex.html
[dynamics ] /home/kroeker/Projects/sage/src/doc/en/reference/dynamics/index.rst:: WARNING: unusable reference target found: ../py-modindex.html
[dynamics ] /home/kroeker/Projects/sage/src/doc/en/reference/dynamics/index.rst:: WARNING: unusable reference target found: ../search.html

implicit coercion issues

search for 'explicit coercion'
bad coercion
oercion bug
in sage devel
https://groups.google.com/d/msg/sage-devel/Z4iNgVMFoms/HxIZ98edPk0J
https://groups.google.com/d/msg/sage-devel/KD_K14l-xVg/TkVGwWpzSDEJ
https://groups.google.com/d/msg/sage-devel/y7Xfh5a4QBM/Dh1ACdCwGjQJ

hidden coercion
https://groups.google.com/d/msg/sage-devel/ZmFyBysLyJY/dJqI_DzBIJQJ

sage-support bugs?

https://groups.google.com/forum/#!topic/sage-support/j45QUEdoa6c

continue work from https://trac.sagemath.org/ticket/17797

add todo if bug leads to incorrect result

also interesting is
https://docs.google.com/spreadsheets/d/1GF_-hM-3DP0YcViieBWIhsign3JHegTlj32cs8ymPZE/pub

idea for how to test integrate in sage

https://groups.google.com/forum/?_escaped_fragment_=topic/sage-devel/GX-hYs0grdE#!topic/sage-devel/GX-hYs0grdE

upgrade to 4.0.1

grep and 'git log -S' were my friends
a new important (but unused) interface is 'coeffrings.h'

for 'napGetCoeff' see

Singular/Singular@146c603

new defines:

SW_USE_EZGCD 
SW_USE_EZGCD_P 
SW_USE_NTL_SORT;
SW_USE_CHINREM_GCD
SW_USE_QGCD
SW_USE_FF_MOD_GCD

for globals 'test', 'verbose' see 'libpolys/misc/options.h'

for "ip_sring"
see 'ring.h'
in 3.1.7 see also "structs.h"

for n_Procs_s
see 'coeffs.h'

for extension rings see 'algext.h' and 'transext.h'

issue:

gcc -fno-strict-aliasing -g -O2 -g -O0 -Wall -fPIC -I/home/kroeker/Projects/sage-singular-4.0.1/local/include/singular -I/home/kroeker/Projects/sage-singular-4.0.1/local/include/factory -I/home/kroeker/Projects/sage-singular-4.0.1/local/include -I/home/kroeker/Projects/sage-singular-4.0.1/local/include/csage -I/home/kroeker/Projects/sage-singular-4.0.1/src -I/home/kroeker/Projects/sage-singular-4.0.1/src/sage/ext -I/home/kroeker/Projects/sage-singular-4.0.1/local/include/python2.7 -c build/cythonized/sage/rings/polynomial/plural.cpp -o build/temp.linux-x86_64-2.7-pydebug/build/cythonized/sage/rings/polynomial/plural.o -D__STDC_LIMIT_MACROS -fno-strict-aliasing -w
g++ -pthread -shared -L/home/kroeker/Projects/sage-singular-4.0.1/local/lib build/temp.linux-x86_64-2.7-pydebug/build/cythonized/sage/rings/polynomial/plural.o -L/home/kroeker/Projects/sage-singular-4.0.1/local/lib -L/home/kroeker/Projects/sage-singular-4.0.1/local/lib -lcsage -lm -lreadline -lsingular -lgivaro -lgmpxx -lgmp -lstdc++ -lpython2.7 -o build/lib.linux-x86_64-2.7-pydebug/sage/rings/polynomial/plural.so
/usr/bin/ld: cannot find -lsingular

any ideas (except workaroud by a link hack?)

not cleaned up:
kernel/polys.h:BOOLEAN pIsHomogeneous (poly p);
is not defined any ,more

question: if something is screwed up,

how to rebuild a single package (e.g. singular)
how to rebuild only the python part?

show a stopgap per installation per user per version only once by default, not everytime sage is run again.
show at start a disclaimer that mathematical software contains bugs leading to wrong results,
with a link to stopgaps and buglist.
a user should be able to configure sage start in a way that a stopgap is shown (in case of a hit) once every time sage is executed.

CCing:
William Stein, David Roe, Jen Balakrishnan

jakobkroeker / jk_test_sage Goto Github PK

jk_test_sage's People

Watchers

jk_test_sage's Issues

Recommend Projects

Recommend Topics

Recommend Org