#15183: x in IntegralDomains() should refine category
-------------------------------------+-------------------------------------
Reporter: saraedum | Owner:
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-6.0
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Julian Rueth | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/saraedum/ticket/15183 | 2282a39caa83c83ceef1000eb028014f5556a606
Dependencies: #14482 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by saraedum):
Replying to [comment:19 SimonKing]:
> Replying to [comment:18 saraedum]:
> > `git branch -vv` shows where the branches pull from.
>
> Not really.
> {{{
> $ git branch -vv
> * master b890215 [origin/public/sage-git/master] Merge
branch 'ticket/14482' into public/sage-git/master
> public/sage-git/master cf14c84 [origin/public/sage-git/master: behind
562] Merge branch 'ticket/14482' into public/sage-git/master
> ticket/15120 6912669 Fix --new option for doctests.
> }}}
So, `master` and `public/sage-git/master` pull from origin. To find out
what is `origin`, type `git remote -v`.
> > You can of course also pull explicitely: `git pull
http://trac.sagemath.org/sage.git public/sage-git/master`.
>
> Am I correct that this would pull into my "public/sage-git/master"
branch, but would not affect the other branch called "master"?
This would pull into the current branch, the one with the asterisk in `git
branch`.
> I am sure that one branch was obtained from github and the other from
trac, and it is a shame that it can't clearly (at least to my
understanding) tell which is which.
It seems that they both came from trac. At least their latest version
does. It does not really matter where they originally came from.
--
Ticket URL: <http://trac.sagemath.org/ticket/15183#comment:20>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
