Document noninteger assumption in Maxima

[kcrisman]

It turns out that not only can one declare integer, one can declare noninteger. See ​here. Let's add an example pointing this out, perhaps with the example from ​this question.

[souravsingh]

I am interested in working on this. How do I start?

[rws]

First, ​http://doc.sagemath.org/html/en/developer/index.html

and please use the Google group sage-devel for questions unrelated to this specific ticket.

[aashu12]

I am interested in adding an example to fix this. How do I know in which part of the sage directory is this located? I guess it is in src/doc/

[kcrisman]

Nope, you would have to find an appropriate place. The src/doc is mostly auto-generated. Instead, try to add to the documentation for the command mentioned in the ​question mentioned in the ticket description. The solve command is in src/sage/symbolic/relation.py or at least that is one place.

[aashu12]

Thanks :)

[kcrisman]

No problem!

[aashu12]

New commits:

​c7acfd6

Fixes #21554

[rws]

Looks good. Please insert your real name in the Author field.

[vbraun]

Author name missing

[rws]

In such cases you can set positive again yourself.

[dimpase]

Replying to rws:

Looks good. Please insert your real name in the Author field.

With all respect,

In case one of the solutions while solving an equation is a real number::

makes little sense, in particular in the context of this ticket. I'm requesting a clarification on #21946

[aashu12]

Replying to dimpase:

With all respect,

In case one of the solutions while solving an equation is a real number::

makes little sense, in particular in the context of this ticket. I'm requesting a clarification on #21946

Yea, I can change that statement to a more clear one. Also, #21946 and this ticket are not dependent.

[dimpase]

this ticket is closed. Any changes to the branches here will be ignored. (So it should go to another ticket, say #21946) But still, your branch did not and does not make sense. The purpose of this ticket is to document and provide a test for noninteger assumption. E.g.

sage: var('K')
K
sage: assume(K, 'noninteger')
sage: solve([K^2==1],K)
[]

The doctring should say what this test doing: it is showing how to use this type of assumption, and not something about reals. (Yes, I agree that the link for an example in the ticket description is somewhat misleading, but, well...)

---

New commits:

​c7acfd6	Fixes #21554
​75602b2	Fixed Documentation

[dimpase]

even better example:

sage: solve([K^3==1],K)
[K == 1/2*I*sqrt(3) - 1/2, K == -1/2*I*sqrt(3) - 1/2]

[aashu12]

Replying to dimpase:

even better example:

sage: solve([K^3==1],K)
[K == 1/2*I*sqrt(3) - 1/2, K == -1/2*I*sqrt(3) - 1/2]

Yea, I will replace the existing example with the example given above in #21946

[aashu12]

Refer to -> ​https://trac.sagemath.org/ticket/21946