4

When I input Backsub in Mathematica 10.2 and press Ctrl+K after, I couldn't get Backsubstitution. My OS is Windows 8 32-bit.

Updated

I found following symbol doesn't auto-complete also.

CoefficientDomain

EliminationOrder

MonomialOrder

PolynomialForm

J. M.'s missing motivation
  • 124,525
  • 11
  • 401
  • 574
matrix42
  • 6,996
  • 2
  • 26
  • 62
  • 1
    I can confirm that Backsubstitution is not being offered as a hint on my system either (on 10.2 on Win7-64bit). I would suggest that you report that to WRI. As to the Ctrl+K part, that doesn't actually autocomplete a partial match on my system for other keywords either. – MarcoB Jul 23 '15 at 02:34
  • Would someone kindly test my answer below and tell me if it fails? If it does can you figure out why? Has the file format or location change? – Mr.Wizard Apr 14 '17 at 09:29
  • 2
    @Mr.Wizard Location is different, but the file format is the same. It looks like an issue in V11. If one updates Reduce.m in FileNameJoin[{$InstallationDirectory, "SystemFiles", "Components", "AutoCompletionData", "Main", "OptionValues"}] one doesn't get offered Backsubstitution after one writes Bac, but if one fully spells out Backsubstitution one finally gets True / False selection box. – Ray Shadow Apr 15 '17 at 09:01

1 Answers1

4
  1. Please refer to: Prompt a set of possible options

  2. Make a backup, then open Reduce.m

  3. Edit it to read:

    {Cubics -> {"True", "False"}, GeneratedParameters -> {}, 
     Quartics -> {"True", "False"}, Backsubstitution -> {"True", "False"}}
    
  4. Save the file

  5. Restart Mathematica

  6. Enjoy the result

enter image description here

enter image description here

Mr.Wizard
  • 271,378
  • 34
  • 587
  • 1,371
  • Thank you, but it doesn't worked as exepted on my PC. – matrix42 Jul 27 '15 at 11:43
  • I am running version 10.1.0 so I cannot rule out a change in 10.2.0 but it surprises me. I take it the appropriate file did exist on your system, and its contents were as above except for the missing , Backsubstitution -> {"True", "False"} part? – Mr.Wizard Jul 27 '15 at 13:21